How do you prove #-sin( pi/3) = cos ((5pi)/6)#?