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