PolynomialExtendedGCD[n^2 + 3, (n + 1)^2 + 3,n]