Lemma 2.4 : Create Lemma 2-4 Inverse
Lemma 2.4 : Define bijections
Lemma 2.4 : Bijection 2
Finish Lemma 2.4