>>24
ばーか。定義じゃなくて環の定義から導き出せる定理だよ。