是：由于作用量 formula_29 是个常数，可以将它从积分内提出： 所以，频率是 假若，有任何两个互相不可通约的广义坐标 formula_27 、formula_108 ，其週期 formula_55 、formula_110 的比例是无理数。那么，formula_27 不可能与 formula_108 同时回到同一点。虽然如此，有理论证明，formula_113 、formula_113 仍旧分别是 formula_27 、formula_108 的频率。
傅立叶级