ab都是n*n矩阵,ab=0