Cantor's Theorem (Strong Version)/Proof 2/Induction Step

Induction Step
This is our induction hypothesis:
 * There is no surjection from $S$ onto $\map {\PP^k} S$.

We are to show:
 * There is no surjection from $S$ onto $\map {\PP^{k + 1} } S$.