A proof of the Schröder-Bernstein theorem (written Schroeder-Bernstein in ASCII), which states that when there exists an injection from A to B, and another from B to A, then there exists a bijection between A and B.
