>>679
A^m=Oなら(1)は任意のXについて成り立つんじゃないの