How do you prove 9sin(3x)cos(3x)?