Talk:Cantor-Bernstein-Schröder Theorem/Proof 5

I think this proof needs to explicitly mention that f is an injection in order to use the cantor bernstein lemma. I can make the appropriate changes (minor modifications) some time later.