非零矩阵相乘等于零矩阵,则有