性質から再帰へ

最大公約数
n と 0 の最大公約数は n
gcm( n, 0 ) = n
n と m の最大公約数と m と n mod m の最大公約数は同じ
gcm( n, m ) = gcm( m, n % m )
最大公約数の性質(等式)から再帰プログラムが作成できる