Let \(\mathbf{a}, \mathbf{b}\) and \(\mathbf{c}\) be three vectors such that \(\mathbf{a} \times \mathbf{b} = \mathbf{a} \times \mathbf{c}\) and \(\mathbf{a} \times \mathbf{b} \neq 0. Show \;that \;\mathbf{b} = \mathbf{c}\).
If $y = 5 \cos x - 3 \sin x$, prove that $\frac{d^2y}{dx^2} + y = 0$.