formula_14を正準2形式を持つシンプレクティック多様体とし、formula_15をformula_14上の完全シンプレクティック変換の1パラメータ族とする。