Re:>67
「環で0≠1のときa*0=a*0+0=a*0+(a*0+(-(a*0)))=(a*0+a*0)+(-(a*0))=a*(0+0)+(-(a*0))=a*0+(-(a*0))=0
なので、0の逆元は存在せず、0の除算はできない。」
という文を書く手間を厭わないというのか？