形式微分
以下のような性質を満足することが確認できる: