设A,B为n阶矩阵,且A为对称矩阵,证明BABT也是对称矩阵