推论 5.3

是任意矩阵, 那么有 .