[1 - (X^2 + Y^2)][(X - 2)^2 + Y^2 - 1] >= 0