ユークリッドの互除法(最大公約数を求めるやつ)
の証明ってできますか?