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