If A = QDQ^T with Q orthogonal and D real diagonal, prove that A is symmetric