A,B矩阵都是非零矩阵,AB=0,成立的条件是什么