\sin 5x \cos{\frac{\pi}{3}}-\sin \frac{\pi}{3} \cos 5x =\sin \frac{\pi}{3}