>>522
>x∈An,k k=1〜5^n-1 なら x＝k mod 5^n でなので

○　定義通り

>x＝k mod 5^(n+1) であるから、x∈An+1,k となることは 明らか

×

6=1 (mod 5)　だが
6=1 (mod 25)　ではない

>つまり x∈An,k を示せば 任意のより細かい開基でも成り立つ

×

なお私は(^^)ではなく(^_^)です