Sean formula_5 y formula_3 dos conjuntos de coordenadas canónicas y sean formula_15 dos funciones del álgebra de Poisson definidas sobre el espacio fásico, entonces se cumple que: