Two rotations do commute. The proof relies on the two formulas below for the sine and cosine of the sum of two angles.