証明しなくとも定義から直ちに従うのが理想。
微分形式の定義と一般化ストークスの定義のように。