ただし、〇〇〇〇〇〇〇〇〇〇を証明なしに用いてもよい。

動画内で「素数pがabを割り切るなら、pはaまたはbを割り切る」が出てきますが、これはユークリッドの補題と呼ばれるものです。 動画では適当に流していますが、ちゃんと証明しようとするとそれなりに大変です。 また、「互いに素な整数a,bの積abがN乗ならaとbもそれぞれN乗になる」についても、素因数分解の一意性を前提として使っています。 使用bgm:    • 【フリーBGM】デジタルな夢の世界💫 かわいい/ポップ/さわやか/ゲーム【作業・配信...