VI. Lorsque q = o, Tégalilé (K) se réduit à

(2^-+- i]{'2^—\i = Dn(ôp).

Cela posé, d'après un théorème connu (*) :

1° Si p ^= Sfj. ± \ , le secomi fadeur est divisible par p ;

2° Si p = 8a ± 5, le premier facteur est divisible par p (**).

(*) Skkret, Algèbre supérieure, l. Il, p. 10!).

(**) Je ne pense pas que, dans le cas général, on pnisse, a pnori, détermiiuT (jnei est le facteur divisible |)ar p, nicnie au moyen de la loi de réciprocité, de Legendre. (Alors, bien entendu, 7 doit être supposé premier.)