数列sからその同値類の代表元を選ぶ関数r(s)の存在を認めるなら、
その後の話は
「100個の自然数から1個選んでその桁数が他の99個以下の確率」
を求めるのと同じ

こうなってしまうと
確率99/100を否定できないので、
当たらないと言い張るなら、
同値類の代表元を選ぶ関数r
の存在を否定するしかない