设A,B为满足AB=0的任意两个非零矩阵,则必有