z=-y^2+6をz軸の周りに回転した図形の方程式が、
z=6-y^2-x^2になるのはなぜ？