The Cantor–Bernstein theorem: how many proofs?