すみません。シンプレクティックで分からないのですが、
シンプレクティック変換は推移的でしょうか？
すなわち、シンプレクティック多様体上の任意２点に対して、
それらを移しあうシンプレクティック変換は存在するのでしょうか？