Cantor-Bernstein theorem