微分形式は結果を言われればそうだと確認できるけど自分で式をいじることが全く出来ない