微分形式があるのなら積分形式あるのだろうな。