反证法：
如果A非异,那么在等式 A=AB 两边同时乘以 (A逆) 得到：
(A逆)A=(A逆)AB,即 I=B.这与B不是单位阵矛盾.
所以A必为奇异矩阵.