Smooth Local Parametrization of Surface of Revolution

Theorem
Let $S_C$ and $C$ be the surface of revolution and its generating curve.

Let the smooth local parametrization of $C$ be:


 * $\map \gamma t = \tuple {\map a t, \map b t}$

Then the smooth local parametrization of $S_C$ can be written as:


 * $\map X {t, \theta} = \tuple {\map a t \cos \theta, \map a t \sin \theta, \map b t}$

where $\tuple {t, \theta}$ belongs to a sufficiently small open set in the plane.