>>530
>Jordan-Holderから素因数分解の一意性が出るというのはBourbakiも書いてるけどな。

なんだ、結局ブルバキの受け売りだったのね。
まあこのスレ全体がそうだけど。