>>925 は間違った。一次微分形式の関数倍ですね!
でもなぜあれが成り立つのかわかりません。教えてください。