How do you prove #Sin(pi/3)cos(pi/6)+cos(pi/3)sin(pi/6)#?