また、formula_7を次を満たすformula_6上の