22/11/06 21:55:15.44 +djpuSor.net
次に、回答者は box[i][x] ( (a_i＋1)/2＜x＜1 ) を全て開封する。
よって、回答者は f_i(x) ((a_i＋1)/2＜x＜1) の値を得る( f_i の "しっぽ" が得られた状態)。
そこで、
u(x)：＝ 0 (0≦x≦(a_i＋1)/2), f_i(x) ((a_i＋1)/2＜x＜1)
として u∈([0,1)→R) を定義する。T は完全代表系だから、
u～g を満たす g∈T がただ1つ存在する。また、上記の u の定義から自明に u～f_i である。
これと u～g から、f_i～g が成り立つことになる。さて、回答者は
「 box[i][(a_i＋1)/2] の中身は g((a_i＋1)/2) である」
と推測する。