Ａが有限であるという仮定のもとでは十分大きな有限数Ｎ’を仮定しておけばいいのでは？
いや、仮定を強くしてＡの状態数をＮ’’以下であるとするとどうだろう。
>>1で書いたことからだいぶ外れるけど。