设AB都是n阶矩阵,且A为对称矩阵,证明BTAB也是对称矩阵