若AX=AY,且A不等于0,则X=Y(矩阵题)