Lemma 2.4 : Introduce ppneck-gen
Misc : A number can't be less than other and still be equal to it
Lemma 2.4 : Prove the case of r = n/2