分からない問題はここに書いてね425 [無断転載禁止]©2ch.net

>>880
常識を使うことは、証明上はGAPだからなあ。
素数の定義は、通常、整数環の既約元だから、
素元であることには、証明が必要。それは
整数環が一意分解整域であることから従う。
要するに、
素因数分解の一意性を証明すればいいことになる。
問題は、その中に背理法が現れないかどうかだ。