2017-11-04 ab=0ならばa=0またはb=0 a, bは体の元とする. すなわち . のとき, aの乗法の逆元をとすると, 左から掛けて, となり, が成り立つ. よって, 同様に, のとき, . 以上より, .