证明若 A 是可逆三角矩阵， A^(-1) 也是同型三角矩阵。