s_1 = ab ならば、abを少なくとも一つ含むものの場合の数が求まればよい