>>20
言うことはわかるけどね。記号とか多少違うし最初からやろうや。
次に素因数分解の一意性の証明が出てくるけど、ユークリッドの
互除法を使うやり方とはちょっと趣が違ってまあ結構面白いぜｗ

誰がどのようにやっても構わんが、とりあえず順番にやっていくという
ルールでやらんか？