设A是一个n阶上三角矩阵,并且主对角线上的元素不为0,如何证明它的逆矩阵也是上三角形矩阵?