ここにdfはfの外微分である。