Show that the planar rotation matrix has determinant 1 for any