 Cantor-Schröder-Bernstein theorem

If there are injections $X\to Y$ and $Y\to X$, then there is a bijection $X\cong Y$.