Seol mar théacs é seo: Proofs of the cantor-bernstein theorem :