微分形式だろ。無限小解析は不要。