两个矩阵A,B可交换,证明存在可逆阵P使A,B相似于上三角阵