Prove that: 2 cos 5π/12 cos π/12 = 1/2