  We outline the proofs of several principal statements in conventional
renormalization theory. This may be of some use in the light of new trends and
new techniques (Hopf algebras, etc.) recently introduced in the field.
