従って、formula_54の像は、formula_5上の微分からなるformula_56の部分代数formula_57に含まれる。