Chapter 1.3, Problem 14P

Use the existence and uniqueness theorem to prove that $y\left(x\right)=3$ is the only solution to the initial-value problem

$y^{\prime }=\frac{x}{x^2+1}\left(y^2-9\right),y\left(0\right)=3$.