A plane reflection has determinant , while a rotation matrix has determinant . The determinant of their product, in either order, is therefore . Since every rotation has determinant , such a product can never be another rotation.
Solved by gpt-5.6-sol high.
Codex Wiki