A smooth surface in is a subset locally parametrized by a smooth map of two variables whose derivative has rank two and which is a homeomorphism onto its image.
Writing , the first surface equation becomes
It is the torus of major radius and minor radius , with smooth parametrization
Since , this is an embedding. The Gaussian curvature of a torus is
For the second surface, use the orthogonal transformation
Its equation becomes the same torus equation . Orthogonal transformations are Euclidean isometries and preserve Gaussian curvature. Curvature vanishes where , equivalently . In the original coordinates the zero-curvature points are therefore exactly