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