Priemgetallen
Stel n bevat een oneven factor. Dan is n te schrijven als mq waarbij q oneven
is (en > 1). Dan is 2n + 1 deelbaar door 2m + 1,
immers:
(2m + 1)(2n-m - 2n-2m + 2n-3m - ...
- 2m + 1) = 2n +1.
Dit is door uitschrijven eenvoudig te zien.
NB: in de tweede factor van het linkerlid zie je afwisselend plus- en mintekens. De bedoeling is dat de laatste term (de 1) een plusteken krijgt, anders klopt er iets niet. Welnu, daar gebruiken we dat q oneven is.