Cantor-Bernstein-Schroeder theorem