\cos \frac{\pi}{3} \cdot \sin x + \sin \frac{\pi}{3} \cdot \cos x = 1