P

Initializing...

Dense-pool intersection lemma: $b\,q!\,\#\mathrm{good}\ge g^q$ (Erdős 624 auxiliary) · Prove2Me