证明乘以单位矩阵不改变。(直接由定义。)