Bevis for at A(b) = F(b) - F(a)
Informação: Bevis for at A(b) = F(b) - F(a)