Beweis

Wir wenden Fakt auf das Vektorfeld

an. Der Integrand im Doppelintegral ist dann