Prove that cos⁡π7−cos⁡2π7+cos⁡3π7=12\cos\frac{\pi}{7} - \cos\frac{2\pi}{7} + \cos\frac{3\pi}{7} = \frac{1}{2}.