Para probar esto basta tener en cuenta que la forma de volumen formula_12 del espacio fásico es el "n"-ésimo producto de la forma simpléctica, y que esta de acuerdo con el teorema de Darboux se expresa como producto de pares de variables canónicamente conjugadas: