可逆矩阵的等价标准型为什么是单位矩阵啊