>>810
では >>808 の証明の誤りはなんでしょうか？
「a÷b = q 余り r のとき，<a, b> の公約数の集合と<b, r> の公約数の集合は等しい」という議論に問題ないと思うのですが