dxはある定数などというのは何だ？
私の知っている微分形式ではないな。