Cantor–Bernstein–Schroeder theorem

Cantor–Bernstein–Schroeder theorem