设AB未非零矩阵,且AB=0