SOBRE EL TEOREMA DE FERMAT 
421 
2.0 = mod 2 
Sea "^1=6/ + 3, sera ?^= 2/=0 mod 2 i, por consiguientc, 
H^={ab) - (U— \ )= — {ab) mod n 
Tenemos, por lo tanto, siempre 
n-3 
H -^= — (ab) - mod n 
pero, por saber ya, desde paj. 286, que ni a n\ b pueden ser di- 
visible por n, no puede ser tampoco 
//^ = 0 mod ?i 
Este resultado, en combinacion con lo dicho anteriormente 
(pajina 418), da a conocer que, siendo 
Ji=i mod 3 i a~ -\-ab -\-b-=^ mod fi- 
ts necesario para la existencia de la ecuacion (12) que G sea 
divisible por caso que escluimos todavia de la conside- 
radon. 
A no ser -\-ab-\-b-~) mod n-, sea para n=i mod 3 o sea, 
como debe ser siempre, para n =2 mod 3, se necesita demostrar 
que no hai valores dt a \ b que puedan satisfacer a las con- 
gruencias 
by , ab^^d mod n para mod 3 
o " 4 ^ by , <7^]=0 mod n para n ^2 mod 3, 
lo que va a ser objeto del parrafo siguiente. 
IV 
Volvamos a apuntar en primer lugar los valores de i 
espresados en las ecuaciones (24) hasta (27), i en las formas si- 
guientes: 
