SOBRE EL TEOREMA DE FERMAT 
299 
Resumimos el resultado de las pajinas anteriores, diciendo: 
i.o Que, siendo n un numero primo i mod 3 , la funcion 
-arriba dcfinida 
HJ = (a - + S [;,-(2r+3)P^-r2;-+5)]. .. [;.-(6r+0] ^ 
2 "^( 2 r+i)! 
Xa>- 
es declr, el coeficiente de en la ecuaclon ( 12 ), prescindiendo 
de nab{a-\-b), cs divisible por el cuadrado de (« — ^), o sea poi 
[{a -[-by — ab'] = {a‘^ ab -[- b^y 
i tiene, cn conformidad con la formula ( 17 ), la forma 
//o' = (a — ,8)“ >/r(ci, P) = [{a-[-by —aby\y[{a-\-hy, ab] (24) 
Ho = + a h -[- b^y {(a'^ -[- ab b^) 4 - 
, V [> /-r2r+3)][«-(2>-+5)]. ■ ■ ,[n-( 6 r+l)] 
,t; 2"-r(2~r+l)l 
x(al’y^^(a + 6)^^(a^ +afi + 3‘‘ } ( 25 ) 
2.0 Que para un numero primo n =2 mod 3 la funcion 
W ,t [n-{ 2 r+i)'][n-{ 2 r+i)']...[n-( 6 r+l)] 
//o' = (a-/ 3 j ^ + 2 
2^^'y2r+ l)! 
€s divisible por 
a — ^ — {a-[-by —ab = a- ~[-ab-[-b? 
