上下三角形矩阵的乘积仍是上下三角形矩阵的证明