P

Initializing...

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