x+y-1 \mid x^2+y^2-1