>>801
y≦z<x≦x_1　であることに注意して、
数列　{(x_n)^(j)}　(j=0,…,2^n)　は、y と x_1 の間を 2^n 等分している
この間隔が z と x の差よりも小さくなるように n を十分大きくとれば
z と x の間に少なくとも一つ (x_n)^(j) があると言える

下の注釈にも説明らしきものがあるが、よくわからなかった