>>106
展開する必要はない。bを構成する全ての素因数z'で、a≢0 (mod z')となるということは
aと全てのz'は互いに素であり、aとbも互いに素となる。これは論理の飛躍ではありません。
残念でした。