Proving that linear functions grow by equal differences over equal intervals.