Now $ x^2 \equiv y $, so $ x^2 + 1 \equiv y + 1 $, and