y=1-x and x^2+y^2=1