Prove that: sin 5π/18 – cos 4π/9 = √3 sin π/9