Stav dette: Proofs of the cantor-bernstein theorem :