题目内容：

矩阵A,B,C,AB=AC,且A不是零矩阵,为什么B不等于C?按下面的证明出B=C请问这证明有什么问题?
证：因为A不是零矩阵,所以A^(-1)存在.
等式两遍左乘A^(-1),等式变为A^(-1)AB=A^(-1)AC,
由于矩阵乘法符合结合律,即[A^(-1)A]B=[A^(-1)A]C,
即EB=EC,
即B=C
希望高手指出这证明拿步错了!