Krátký důkaz Cantor–Bernstein–Schröder:
19,12K