The generating function of a canonical transformation

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. Se da una prueba elemental de la existencia de una función generatriz de una transformación canónica. Se da también una prueba más corta, usando el formalismo de formas diferenciales.