Abstracto An elementary proof of the existence of the generating function of a canonical transformation is given. A shorter proof, making use of the formalism of differential forms is also given.