Cantor-Schroeder-Berntein theorem