f^{-1}(x, y, z)=(x, y, 0)이 정칙이니까 f는 미분 동형 아닌가요?