P
Initializing...
Observation 5.15 (corrected: $\nu < c$) — $|X| \le |W|/(c-\nu)$ · Prove2Me