a.bを互いに素な整数とする。abとa+bが互いに素でないと仮定してその公約数の1つをk(k:素数)，また整数p.qを用いて ab=pk …① a+b=qk …② と表される． [①よりaが素因数kを持つとしても一般性を失わず] が奇妙。 素直にab=pkよりaまたはbが素数kを因数にもつので、aが素数kを因数にもつとしても一般性を失わない(a,bを変えても同じという意味)、とした方が自然でわかりやすい、と思う。