>>96
書いてあることが分からない人間は理解することが不可能だと思われますけど。
b≢0 (mod n)のときに、b≡0 (mod z')である全てのz'に対して、a≢0 (mod z')と
なるんですけど？