How do you prove #sin (2x) = 2sin(x)cos(x)# using other trigonometric identities?