矩阵合同的对称性怎么证明