Proofs of the Cantor-Bernstein Theorem