Schröder-Bernstein theorem