Proof of Thm A.4, p. A:42 — for some $r$, $\mathrm{KC}([N_{n,r}])>n+1$ and so $N_{n,r}\in\Pi_Y$

Initializing...

Proof of Thm A.4, p. A:42 — for some $r$, $\mathrm{KC}([N_{n,r}])>n+1$ and so $N_{n,r}\in\Pi_Y$ · Prove2Me