证明存在一个酉矩阵,使得UHAU为上三角矩阵