If P(x) = [[cos x, sin x], [-sin x, cos x]], then show that P(x) P(y) = P(x + y) = P(y)P(x).