Schröder-Bernstein theorem/Approval