微分形式では割り算に意味がないですけど、関数の微分は厳密に割り算として意味を持ち得ますね