[Smaug123]

True, thanks. I thought the proof I knew of Cantor only worked for infinite sets, and that a separate proof was required for the finite case; but actually the same proof works for both.