操作の結果が同一になる条件