A D6160: Real square matrix $A \in \mathbb{R}^{N \times N}$ is a normal real matrix if and only if \begin{equation} A^T A = A A^T \end{equation}