What is the transformation to solve the Riccati equation $y' = 1 + x^2 - y^2$ if a solution $y_1(x) = x$ is known?