各桁の数を足すとnになる素数全体を要素とする集合をS_nとする。

(1)S_nが空集合となるnを1つ求めよ。

(2)S_(2^k)(k=1,2,...)のうち、少なくとも1つの集合は無限集合であることを示せ。