AB是对程矩阵的必要条件是AB=BA证明