Real Symmetric Matrix Is Diagonalizable