It follows, then, that a proper rotation has some complex eigenvalue. Let v be the corresponding eigenvector. Then, as we showed in the previous topic, v ¯ ¯ is also an eigenvector, and v + v ¯ ¯ and i ( v − − v ¯ ¯ ) are such that their scalar product vanishes: