>>794
それをアルゴリズム的にまとめたものがユークリッド互除法だね