矩阵方程AB=0成立的充要条件B为非0矩阵