That's incorrect. The assumption was that there was a 1:1 (injective) mapping, and the proof was that it (regardless of it's exact value) wasn't onto (surjective) and so isn't bijective.