在矩阵故障确实存在 - 这里的证明!