实对称矩阵是否只能通过正交矩阵变换与对角矩阵合同?