すべては>>853と>>858の計算で尽くされている。
これが「本質」かつ「総括」。

微分形式とか超準解析とかは後知恵。