AB=0对B做初等行变换后的矩阵还是不是原方程的解?