[johnaspden]

Wow! I tried to prove Cantor-Schroder-Bernstein last year and couldn't get my head round it. This makes it obvious!