﻿345 
	

x^-'-l ' 
	
 es una fuiíciou culera, divisible por f {x): esto es que 
	

I 
	

'^ ~^ -/ {x).C{xy. 
	

X — 1 
	

siendo C {x) entera. Y, si en esta ecuación hacemos a; ^ oj, teniendo 
	

en cuenta 
	
 igualdad: 
	

en cuenta que n = p^\n\ n: p =2^^ •'»' i J w"' = 1, resulta la 
	

que, en combinación con la (4), produce la siguiente: 
	

1 =p. F{io). C(m). 
	

Suprimiendo del producto desarrollado F{ii>). C(w), en virtud de la 
	
 ecuación idéntica f ^{w) — O, de grado o {n'), todas las potencias de 
	

üj, superiores á la » (w') — 1, hallaremos una ecuación de la forma 
	

1 / ■ 2 ?(«') — l\ 
	

I— pía +ff u>-ha^n ■+■ -ha w 1; 
	

-^ \ o 1 2 <f («')-l ■ f 
	

y de ésta que, por haber supuesto irreducible la ecuación (3), debe ser 
	
 idéntica, el absurdo 
	

l=pa^: 
	

del cual se desprende que también lo es la descomposición supuesta en la 
	
 igualdad (1); y, por último, que la función f{n), es irreducible. 
	

