Euler's theorem
The line for real is invariant under , i.e., is a rotation axis. This proves Euler's theorem.