To prove the lemma, we first show that any bounded additive function on the real numbers must be linear.