If `sin 17^\circ = x/y`, then show that, `sec 17^\circ - sin 73^\circ = \frac{x^2}{y\sqrt{y^2-x^2}}`.