実際、もしそのようなformula_21が存在すれば、formula_22となり矛盾する。