310 
acliter het = teeken geheel is, m. a. w. — is deelbaar door — . Analoog 
d 9, 
bewijs voor — enz. 
ff* 
2“. Onderstellen we dat voor twe.e verschillende stellen waarden 
en 
^ 01 . ^*11 . 
bo2. ^* 2 ) ^ 12 ) .... 
P 
J>oi, b^i, bn, 
bo2, b^i, 6 i 2 , 
Na invoering van de waarden der symbolen, blijkt dat voldaan 
is aan de congruentie 
/ m\ _ 
i <p (m) (boi—bo 2 ) ao,, + j (^*1 -^* 2 ) + . . . = 0 (rnod rp). 
Daar echter de stelsels der getallen hji een groep vormen, zullen 
de in deze congruentie optredende verschillen ook weer een stelsel 
vormen dat tot de groep der gegeven stelsels hji behooi-t. We moe- 
ten dus aantoonen dat aan de congruentie 
h 'P ("d aop I j a^i, -t (p «*/.+ • . . . = 0 {mod(p) (7) 
ed 
voldaan wordt door - der gegeven stelsels van getallen hji. Want 
r 
ed 
als dit bewezen is, is ook aangetoond dat telkens — stelsels van ge- 
tallen bji aan het symbool 
/ 

bom b^n • . . 
dezelfde waardegeven, m.a. w. 
een — de-machts-wortel nit de eenheid komt onder de symbolen van 
d 
het recliterlid der te bewijzen gelijkheid - malen voor en niet 
r 
meermalen. 
Alle stelsels der b’s die aan de congruentie (7) voldoen, voldoen 
ook aan alle congruenties, die men nit (7) afleidt door voor aop, 
a^tj, .... in de plaats te stellen, de stelsels a„, a^., .... die de onder- 
groep y opleveren; juist volgens de bepaling dier laatste stelsels 
in ^ 3. 
Dat zijn r stelsels. De getallen 
/ 
p,p\ ... .p<i 
