108 

 Podemos en virtud de estas denominaciones establecer en areneral. 



m 



="(fWf) <-' 



a m 



í Yíi \ 



Es fácil ver que ( — ) no sufre alteración aunque se añada á 

 un múltiplo cualquiera de n; esto es, que 



(?)r('^l '"^' 



siendo p un entero cualquiera positivo, ó bien negativo menor que 



vn 



— , á fin de evitar los residuos nesativos. 



n " 



Si se supone que m es exactamente divisible por n, y ■p representa 

 un entero positivo, será siempre 



mlm^ 



con tal de que p no sea mayor que (n — 1). 



También es visiblemente cierto que en todos casos 



(f)-H^^), (^) 



De la (1) resulta 



m 



y por tanto 



m 



lm\ ^ ' ' \nJr 



