SOBRE EL TEOREMA DE FERMAT 
287 
desaparecer a //, siempre divisibles por per contener a G. 
Luego tenemos, segun pajina 284, 
//o = (^ + ^) —~^ab(a + d) ^ 3 1 {aFfia + 4- 
^ j ^ ^ ^ 
+ (~0 ^ ^ (<^ + /^)=0 mod 
Claro esta que a-\-b — c — 2 (S- no puede ser =0 mod porque 
c no es =0 mod n, mientras que G es=0 mod n, Queda en- 
tonces — mod n, o sea 
a^b 
H', = {a + bT^-'^ab{a + b)"-^=‘^^{aby{a^bYi^. . . 
+ (- + . . .+ 
4- ( — I ) ^ \ah) ^ =0 mod n 
A esta congruencia se le puede satisfacer, en efecto, siempre 
i para diferentes valores de <2 i si n tiene la forma i* Poi* 
ejcmplo encontramos para n = i^ = 3.4 + i 
H'o = (ci = by°— ^ab (^a + by-[- I2(aby {a + b)^ — i4(aby(a-{-by-h 
4 - j(aby {a + by — {aby> 
i tomando <2=1, ^=3 mod 13 sera 
- 5.34^4- 1 2.3^4^- I4-3M^ + 7.3 - 3^ mod 1 3 
o, por ser 4^= 16=3 mod 13, se convierte esta congruencia en 
I i/'o=35(i — 5 4- 12— 14 + 7— i)=3s.(20 — 2o)=0 mod 13 
j Hemos mencionado mas arriba que siempre hai valores de 
\i i b que hacen H’ o congruente a 0 segun el modulo cuando 
t tiene la forma 3»/4- i; en caso contrario, siendo n de la forma 
( 
