单位矩阵的有理标准形还是单位矩阵。