>>525 >>528
 真

T = {0, 1, 11, 111, 1111, …, (10^n -1)/9}
の要素をnで割った剰余は 0 〜 n-1 のいずれか。
#T = n+1 ゆえ、いずれか2つは同じ類に含まれる。 (←鳩ノ巣原理)
その差はnの倍数であり、かつ
 11…1100…00 または 1……1 の形だから Sの要素である。