Acabamos de mostrar que hay una correspondencia uno a uno entre simplectomorfismos infinitesimales y las funciones diferenciables sobre una variedad simpléctica.