Parametrizamos a superfície por \(\varphi(u,v) = (x(u,v), y(u,v), z(u,v))\) com vetor normal fundamental:
\begin{equation*}
\frac{\partial \varphi}{\partial u} \times \frac{\partial \varphi}{\partial v} = \left(\frac{\partial y}{\partial u}\frac{\partial z}{\partial v} - \frac{\partial z}{\partial u}\frac{\partial y}{\partial v}\right)\vec{i} + \left(\frac{\partial z}{\partial u}\frac{\partial x}{\partial v} - \frac{\partial x}{\partial u}\frac{\partial z}{\partial v}\right)\vec{j} + \left(\frac{\partial x}{\partial u}\frac{\partial y}{\partial v} - \frac{\partial y}{\partial u}\frac{\partial x}{\partial v}\right)\vec{k}
\end{equation*}
Lembrando que o rotacional é dado por:
\begin{equation*}
\text{rot}\,\vec{F} = \left(\frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z}\right)\vec{i} + \left(\frac{\partial P}{\partial z} - \frac{\partial R}{\partial x}\right)\vec{j} + \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right)\vec{k}
\end{equation*}
a integral de superfície é expressa sobre o domínio \(D\) por:
\begin{align*}
\iint_{S} (\text{rot}\,\vec{F} \cdot \vec{N}) \, dS \amp = \iint_{D} \left(\frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z}\right)\left(\frac{\partial y}{\partial u}\frac{\partial z}{\partial v} - \frac{\partial z}{\partial u}\frac{\partial y}{\partial v}\right) dA\\
\amp \quad + \iint_{D} \left(\frac{\partial P}{\partial z} - \frac{\partial R}{\partial x}\right)\left(\frac{\partial z}{\partial u}\frac{\partial x}{\partial v} - \frac{\partial x}{\partial u}\frac{\partial z}{\partial v}\right) dA\\
\amp \quad + \iint_{D} \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right)\left(\frac{\partial x}{\partial u}\frac{\partial y}{\partial v} - \frac{\partial y}{\partial u}\frac{\partial x}{\partial v}\right) dA
\end{align*}
Por outro lado, a integral de linha sobre o bordo pode ser decomposta em \(\oint_{\partial S} \vec{F} \cdot d\vec{r} = \oint_{\partial S} P\,dx + Q\,dy + R\,dz\text{.}\) Analisemos a primeira componente \(\oint_{\partial S} P\,dx\text{.}\)
Seja \(C(t) = (u(t), v(t))\text{,}\) com \(a \le t \le b\text{,}\) uma parametrização da fronteira orientada positivamente de \(D\text{,}\) de modo que \(\partial S = \varphi(C(t))\text{.}\) Pela Regra da Cadeia:
\begin{align*}
\oint_{\partial S} P \, dx \amp = \int_{a}^{b} P(\varphi(C(t))) \frac{d}{dt}(x(u(t),v(t))) \, dt\\
\amp = \int_{a}^{b} P(\varphi(C(t))) \left(\frac{\partial x}{\partial u}\frac{du}{dt} + \frac{\partial x}{\partial v}\frac{dv}{dt}\right) dt\\
\amp = \oint_{C} P(\varphi(u,v))\frac{\partial x}{\partial u} \, du + P(\varphi(u,v))\frac{\partial x}{\partial v} \, dv
\end{align*}
Aplicando o Teorema de Green no plano sobre o domínio \(D\text{:}\)
\begin{align*}
\oint_{\partial S} P \, dx \amp = \iint_{D} \left[ \frac{\partial}{\partial u}\left(P \frac{\partial x}{\partial v}\right) - \frac{\partial}{\partial v}\left(P \frac{\partial x}{\partial u}\right) \right] dA\\
\amp = \iint_{D} \left( \frac{\partial P}{\partial u}\frac{\partial x}{\partial v} + P\frac{\partial^2 x}{\partial u \partial v} - \frac{\partial P}{\partial v}\frac{\partial x}{\partial u} - P\frac{\partial^2 x}{\partial v \partial u} \right) dA
\end{align*}
Como \(\varphi\) é de classe \(C^2\text{,}\) pelo Teorema de Clairaut-Schwarz as derivadas mistas se cancelam (\(\frac{\partial^2 x}{\partial u \partial v} = \frac{\partial^2 x}{\partial v \partial u}\)):
\begin{equation*}
\oint_{\partial S} P \, dx = \iint_{D} \left( \frac{\partial P}{\partial u}\frac{\partial x}{\partial v} - \frac{\partial P}{\partial v}\frac{\partial x}{\partial u} \right) dA
\end{equation*}
Expandindo \(\frac{\partial P}{\partial u}\) e \(\frac{\partial P}{\partial v}\) via Regra da Cadeia em três variáveis:
\begin{align*}
\frac{\partial P}{\partial u} \amp = \frac{\partial P}{\partial x}\frac{\partial x}{\partial u} + \frac{\partial P}{\partial y}\frac{\partial y}{\partial u} + \frac{\partial P}{\partial z}\frac{\partial z}{\partial u}\\
\frac{\partial P}{\partial v} \amp = \frac{\partial P}{\partial x}\frac{\partial x}{\partial v} + \frac{\partial P}{\partial y}\frac{\partial y}{\partial v} + \frac{\partial P}{\partial z}\frac{\partial z}{\partial v}
\end{align*}
Substituindo e simplificando (os termos em \(\frac{\partial P}{\partial x}\) anulam-se identicamente):
\begin{equation*}
\oint_{\partial S} P \, dx = \iint_{D} \left[ -\frac{\partial P}{\partial y}\left(\frac{\partial x}{\partial u}\frac{\partial y}{\partial v} - \frac{\partial y}{\partial u}\frac{\partial x}{\partial v}\right) + \frac{\partial P}{\partial z}\left(\frac{\partial z}{\partial u}\frac{\partial x}{\partial v} - \frac{\partial x}{\partial u}\frac{\partial z}{\partial v}\right) \right] dA
\end{equation*}
De maneira inteiramente análoga, obtêm-se as expressões para \(\oint_{\partial S} Q \, dy\) e \(\oint_{\partial S} R \, dz\text{.}\) Somando as três identidades, reagrupam-se exatamente os termos correspondentes às componentes de \(\text{rot}\,\vec{F} \cdot (\varphi_u \times \varphi_v)\text{,}\) demonstrando a igualdade fundamental:
\begin{equation*}
\oint_{\partial S} \vec{F} \cdot d\vec{r} = \iint_{S} (\text{rot}\,\vec{F} \cdot \vec{N}) \, dS
\end{equation*}