Euclidean Algorithm

Type: idea

The Euclidean algorithm states
\[
  \gcd(b,a)=\gcd(a,r)
\]
where
\[
  b=ka+r
\]
by the division algorithm.