微分形式の割り算はオレ書いてないから知らん。