By conjugate symmetry, we have \begin{equation} \langle x, x \rangle = \overline{\langle x, x \rangle} \end{equation} Thus, this result is a consequence of result R2413: Complex conjugate of real number. $\square$