代数整数環の因数分解定理の証明の概略