同値の推移性と逆元の存在