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