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