If \( \cos y = x \cos (a + y) \) and \( \cos a \neq \pm 1 \), prove that:
\[ \frac{dy}{dx} = \frac{\cos^2 (a + y)}{\sin a} \]