SOP.RE EL TEOREMA DE FERMAT 
419 
congruencia de la cual deduciaios facilmente las sigulentes se- 
gun mod 11 
-\-b -= — ab 
b^ = {a- -\- b~y — 2a-b- = — {aby 
^b^ = + b-){a^ H- b^) — a-b~{a- -|- b‘^)=2{aby 
< 78 _|_^ 8 _^^ 4 _j_^ 4 j 2 _ 2 a^b^~ — {abY 
o jcncralmcntc 
+ siendo r=i, 2 mod 3 
^2r_^^2r=(j siendo r=^ mod 3 
Tomando como comprobado esto hasla cicrto valor s~i 
mod 3, asi que se tienen, 
^2S q_ / 2S^ _ ^2(S-I) q. 1 2(s-l)^2(rt/7 j s-i 
por scr s— i__0 mod 3, sc sigiien 
rt^(s+ i) q. /;2 (s+ 1 ^ 2 q. /;2 ^(^^2S q_ /;2S) _ 2 I) 2 (^;2(s-,) q_ I 
i 
^2(s+2) q_ ^2(s + 2) _ 2 q_ 3 2^^^2(s+ 1) q_ ^^2(s+ l)^ _ ^ 2^2 ^^2S q_ /; 2 ')= 2 (( 7 <^y + ^, 
cn fin, 
a 2 (^ + 3 ) + /;2(s+3)= (<7 ‘-i 4- )(^?2 (s + 2) ^2(s + 2)^ _ 
- a -b- (a 3 
Por lo tanto, demostradas las congruencias (33) hasta i‘=4, 
ellas valen jeneralmentc. 
Ahora bien, siendo ;z = 31/+ i =. 6 Y + i,— = 3^'— 1=2 mod 3, 
jl c fi — n . , 
=3/ — 2=1 mod 3, — y—{) mod 3 etc., se ticne 
2 2 
por medio de (33): 
4;/- i)(«-2)(;^-3) 
+ 3 ! ^ 
(•«-l)(;/- 2)...(/;-P^3 ) ^ (;,-l)(„-2)...(«-iy-) ) 
(¥)! 
(¥)! 
