Euler rotation theorem