weglaten, omdat, zooals reeds is opgemerkt, bij ieder stel é’s ook 
voorkomt 2 — ban enz. Verder is 
m 
S=1 
<-2 <-2 
5 
log A^= S 4- ^ 
m — s 
- 
S=I S=1 
_ _ 
log Am-^! 
Want als m oneven is, is dit duidelijk omdat 
m/2 
m 
= 0 is. Is 
echter m even dan is steeds 
= 0 omdat m door 4 deelbaar is. 
Als we nu gebruik maken van de betrekking 
*0n + *ln + - • 
= (-l) 
en opmerken dat Am-s=- Ag, dan vinden we voor de som die 
herleid is : 
: 2 
2 ^ 
S=I 
log Ag 
Als we dit nu invoeren en ook de waarde van invoeren dan 
blijft nog het product van alle getallen dn te berekenen. Daar dit 
voor ’t tweede deel van ’t theorema ook moet geschieden zullen we 
het uitstellen totdat we zoovei- gekomen zijn. Door voor ’t grond- 
getal de waarde te gebruiken die in ^ 6 is gevonden, krijgt men 
dan na eenige herleiding de verlangde uitkomst. 
Afleiding van de hveede uitdrukking. 
Het product dat in (9) voorkomt, ontbinden we in twee producten, 
waarvan het eerste loopt over de waarden van n waarvoor de som 
ban + + . oneven is, terwijl het tweede loopt over alle 
waarden van n waarvoor deze som even is. Het laatste product 
wordt op dezelfde manier herleid als in 'teerste deel van ’t bewijs. 
In 'teerste product krijgen we, door toepassing van 'teerste hulp- 
theorema van ^ 9, als we het getal k in (9) vervangen door m — k-. 
m / 
2 F [ e ^ 
V 
Er blijft van de som die in (9) voorkomt, dus over: 
log Ak = 0. 
jii 
— k F 
m-k=\ 
Volgens ’t 3*^® hulptheorema wordt dit: 
