これにより、多くの素数において一意的な因数分解が可能となり、が正則素数である(もしくは正則素数で割り切れる)全ての場合については証明がなされた。