>>57
XA=EかつAX=Eを満たすようなn次正方行列Xが存在すること
だっけ?