>>991
素因数分解の一意性の証明にユークリッドの補題を使うので、
結論を先取りしたループになってる。