は、formula_142で定義されている元々の微分 "d" を部分対象formula_135に制限することで得られる。