すなわち、formula_21ならばformula_22である。