plot x^2+(y-1)^2>=1 and y>=0 and x^2+y^2<=4