ただし、二つの元を取り出したとき、同じ元であるかどうか、および一方が他方の逆元であるかどうかの判断は判定できる.
の判断