整除、最大公約数、素数、ユークリッドの補題を積み上げて、素因数分解の存在と一意性へ進む。
入口
整除
目標
算術の基本定理
進捗
ルート設計中
整数論の入口。割り切れる、倍数、約数を固定する。
共通する約数の最大値を、計算できる対象にする。
最大公約数を実際に求める道具。
最大公約数を一次結合として表し、逆元や合同式へつなぐ。
素数が積を割るなら、どちらか一方を割る。
素因数分解の存在と一意性をまとめる。