ab=e矩阵可以推出a的秩