Verify that the indicated expression is an implicit solution of the given differential equation.
(dy/dx)² + 1 = 1/y², (x - 5)² + y² = 1 (1 - xy)y' = y²; y = eˣʸ