Hier erfüllt
die Integrabilitätsbedingungen, denn es gilt
Ferner ist der Definitionsbereich von
ein sternförmiges, also einfach zusammenhängendes Gebiet, nämlich
.
Nach dem zweiten Hauptsatz für Kurvenintegrale ist das Vektorfeld
also konservativ.
Wir wollen nun eine Stammfunktion
von
berechnen. Hierzu iteriert man ,,partielles Aufleiten``.
Zunächst wird
mit einer stetig differenzierbaren Funktion
, die nicht von
abhängt.
Weiter gilt
für eine stetig differenzierbare Funktion
, die weder von
noch von
abhängt.
Schließlich gilt
Wir können also
wählen und erhalten als eine Stammfunktion
Diese ist nur bis auf eine additive Konstante bestimmt.
Nach dem ersten Hauptsatz für Kurvenintegrale wird nun