How do you prove #2sin((5pi)/6)cos(pi/6)=sin120#?