ユークリッドのアルゴリズムはなぜ対数的に増加するのか？という説明を付け加えたらどうでしょうか？
Lameの定理のあれです。(証明はいらないですね)