Schroeder–Bernstein theorem