We suppose that f ' = g'

Then

(f - g)' = f ' - g' = 0

f - g = c, with c a constant, by Theorem 2

f = g + c