Ik heb alleen dat stukje bekeken, maar dat lijkt toch gewoon te volgen uit de intervallen waar die c's uitkomen? Als c1 uit (a,x1) komt en c2 uit (x1,x2) dan c1 < c2, elk element uit (a,x1) is immers kleiner dan een element uit (x1,x2); de eindgrens van het eerste interval is de begingrens van het tweede, de intervallen zijn open.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)