>>263
0≦b<c<5^n→An,b∩An,c=φ
から分離するAn,bを選んでくるのは簡単