P

Initializing...

Coverage forces envelope rank $r\le k-1$ (corollary of (E), Erdős 624) · Prove2Me