证明与对称矩阵合同的矩阵仍是对称矩阵。