>>31
0でない元xに対して

x・x≠0
までしかわからないのですが…
ここからxの・に関する逆元の存在までわかるのですか?