Liouville's theorem
这称为刘维尔定理。每个辛流形上的光滑函数"G"产生一个单参数辛同胚族，而若{ "G", "H" } = 0,则"G"是守恒的，而该辛同胚是对称变换。