>>542
あちゃー、公理ってものを全然わかってない
ある数学的構造を定義したととき
それが可換環の公理をみたすかどうかはちゃんと証明しなきゃダメだろ