すべてのformula_36に関してformula_37であれば、formula_38と表す。