设A,B为对称矩阵,则A B仍为对称矩阵