Renormalizabilty of TH Heavy Quark Effective Theory

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.