behooren, volgens liet bewijs van liulptheorenia 3, niet tot de onder- 
groep g. Bovendien is ’t duidelijk dat alle stelsels der è’s die aan 
(7) voldoen, ook voldoen aan de congruenties die men uit (7) kan 
afleiden door voor ao^, achtereenvolgens in de plaats te stellen 
de stelsels 
2<ï0/j, ‘2iü\p, .... 
/ 
j ^* 1 » 
Dat zijn — stelsels. Door de groep der eerstgenoemde r stelsels 
d 
te vermenigvuldigen met de gi'oep der laatste ^ stelsels, krijgt men 
d 
nu — stelsels der getallen d, die evenveel congruenties (7) geven, 
d 
waaraan de gezochte stellen 6’s moeten voldoen. Volgens de opmer- 
king aan ’t eind van ^ 3 is nu het aantal der gezochte stelsels der 
rf c(7 , ... 
o’s gelijk aan </-: — , hetgeen te bewijzen was. 
d r 
In ’t product van ’t rechterlid der te bewijzen gelijkheid, komen 
(f) f ed 
— factoren voor. Een ^-de-machts-wortel komt — malen voor, zooals 
r d r 
juist is aangetoond. Daar nu — . — ==— is, zal ook iedere — -de- 
r d r d 
machts- wortel in ’t product voorkomen. 
Theorema 10. 
1 \ _ ^ 1 j r 1 1 
^ (0^/ >1 ( _^0hi ^2h) _ 
Hierbij is een oneven priemgetal dat in m opgaat. In ’t eerste 
product doorloopt I alle priemidealen van k, die in opgaan, 
’t Tweede product loopt over alle stelsels der getallen h waarin 
=0. Als — 1 dan moet in ’t symbool 6.„ worden weggelaten; 
en als = 0 moet ook worden weggelaten. 
