可逆上三角矩阵的逆矩阵仍为上三角矩阵。