x^2+y^2+z^2=4, z^2=x^2+y^2 (z>=0)