Cantor–Bernstein theorem (source code)

= Cantor–Bernstein theorem
{wiki=Cantor–Bernstein_theorem}