Talk:Schröder-Bernstein theorem/Draft