Et kort bevis på Cantor-Bernstein-Schröder:
19,12K