abs(z+4i)*abs(z-4) <= 0