>>550
整数だからね。まあq=p+2の場合とか全部書かないといけなくなるけど。
それなら帰納法かな？と思ったけど、pqって自然数じゃないしなーとか思ってたら気づいた。
Oは最後にabcを全部1って置いてるから「abcが全て自然数である」って思い込んでるのも分かる