素数が有限個しかないとは思ってませんが、

> q が合成数だとすると q は pi のいずれかを用いて積の形に表されるはずである

そうでない場合もあるとは思いませんか?
そして、その場合についても論ずるべきでは?