#math1233#
#tex2html_wrap_indisplay31983#
#math1234#
#tex2html_wrap_indisplay31985#
Budući da je #tex2html_wrap_inline31987# i #math1235##tex2html_wrap_inline31989#
slijedi #math1236#
#tex2html_wrap_indisplay31991#
Kako je podintegralna funkcija neprekidna,
nenegativna, i njezin je integral duž žice jednak #tex2html_wrap_inline31993# slijedi da je
sama podintegralna funkcija jednaka nuli #math1237#
#tex2html_wrap_indisplay31995#
Zbroj dvije
nenegativne funkcije može biti jednak nuli samo tako da je svaka od
njih jednaka nuli. Tako je #math1238#
#tex2html_wrap_indisplay31997#
pa je #tex2html_wrap_inline31999# konstanta, tj. #tex2html_wrap_inline32001# S druge strane je
#math1239#
#tex2html_wrap_indisplay32003#
Kako je #tex2html_wrap_inline32005# za barem jedan #tex2html_wrap_inline32007# slijedi da je #tex2html_wrap_inline32009# Prema tome
#math1240#
#tex2html_wrap_indisplay32011#
tj. #math1241#
#tex2html_wrap_indisplay32013#
Dakle rješenje je doista jedinstveno.