Euler's rotation theorem — theorem