lemma3
Completed Type Safety in 3 Easy Lemmas.