3 ms·

There would be no such surjection, but there would also be no such |S| to talk about in the conclusion.