Hauptsatz Teil b: Formaler Beweis

Sei F(x) = A(x) + c

Für x = a folgt: F(a) = A(a) + c = = 0 + c 

 =>  F(a) = c ;

für x = b folgt:  F(b) = A(b) + c = + c 

 => = F(b) - c = F(b) - F(a)

q.e.d.