\sin (\frac{\pi}{3}-x)=1