>>87 演算が環の定義を満たすから