El conjunto de ecuaciones y son las condiciones directas que hay que verificar para comprobar que la transformación es canónica.