算術の基本定理ルート

整数論の入口。割り切れる、倍数、約数を固定する。

共通する約数の最大値を、計算できる対象にする。

最大公約数を実際に求める道具。

最大公約数を一次結合として表し、逆元や合同式へつなぐ。

素数が積を割るなら、どちらか一方を割る。

素因数分解の存在と一意性をまとめる。