A $5 \times 5$ real matrix has an eigenvector in $\mathbb{R}^5$.
A $5 \times 5$ real matrix has an eigenvector in $\mathbb{R}^5$.