Euler's_rotation_theorem loading ...