Az an=2np+1 primek részleges szorozata is megszámlálható, és végtelen is.
Azonban definició szerint is az a;b;c változók relatív prímek. Így nem lehetnek egyenlõk.
Ha viszont egyenlõk, akkor nem teljesülhet az a^p+b^p =c^p felírás.
Ismétlem:
1. A 2np+1 prímek száma végtelen, ezt bizonyítottam.
2. Valamennyi 2np+1 prím az a;b;c változók osztója kell, hogy legyen, ezt is bizonyítottam.
3. Minden változónak kell, hogy relatív prim 2np+1 osztója legyen, ezt is bizonyítottam.
Ebbõl csak olyan következhet, hogy az a;b;c számoknak van relatív prim megoldásai, amelyek egy könyv margójára sehogy nem írhatók fel. Ezt állította Fermat, ezt bizonyítom.