Bevis for at A(b) = F(b) - F(a)