Sea formula_1 una k-forma diferencial sobre "M" que es invariante para todos los campos Hamiltonianos.