  We show that the Heavy Quark Effective Theory is renormalizable
perturbatively. We also show that there exist renormalization schemes in which
the infinite quark mass limit of any QCD Green function is exactly given by the
corresponding Green function of the Heavy Quark Effective Theory. All this is
accomplished while preserving BRS invariance.
