Rotation in R3 around the x-axis