nは2以上の整数、a,bは相異なる一桁の整数とする。
各桁の数字がaまたはbからなるn桁の整数全体からなる集合をS[a,b,n]とする。
たとえばS[3,7,2]の要素は33,37,73,77である。
以下の命題の真偽を述べよ。

【命題】
任意のa,bに対して、以下の整数Nが存在する。
「n>Nのすべての整数nについて、S[a,b,n]の相異なる2つの要素で、その差が7の倍数であるものが存在する。」