Prove that: cos 7π/12 + cos π/12 = sin 5π/12 – sin π/12