Rotation in R3 around the X-axis