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