(i.e.,formula_106)が存在して、すべてのformula_107についてformula_95となることである。