Sm={a_1,a_2,・・・a_m}→S={a_1,a_2,・・・・・} (m→∞)
って特に証明ナシでも明らかに言えます?