P
Initializing...
Lemma 5: any $n$ positive integers compress into $[1, n]$ · Prove2Me