では、エウクレイデスによる証明は、  

>「合成数は有限個の素数の積で表される」という定理

を前提としているわけですか?