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