(x+1)^2+y^2>1