Een korte bewijsvoering van Cantor–Bernstein–Schröder:
19,17K