设A,B均为n阶上三角形矩阵,试证AB亦为n阶上三角形矩阵