>>483
微分形式の定義は無視するんですか?