Source: https://www-fourier.ujf-grenoble.fr/~demailly/L3_topologie_B/cours_jpd_2013/cantor_bernstein.pdf