\[\frac{\sqrt{3}}{2\sin{40{^\circ}}} - 2\sin{10{^\circ}} = 1\]
\[\frac{\sqrt{3} - 2 \cdot \left( 2\sin{40{^\circ}} \cdot \sin{10{^\circ}} \right)}{2\sin{40{^\circ}}} = 1\]
\[2\sin{40{^\circ}}–2\sin{40{^\circ}} = 0\]
\[0 = 0.\]