>>814
「a÷b = q 余り r のとき,<a, b> の公約数の集合と<b, r> の公約数の集合は等しい」という議論が正しいのなら
ユークリッドの互除法で,最大公約数じゃない約数が出てもおかしくはないのでしょうか