— 131 — 
Posons : 
1 ee GR ae ue ea 1 © nos B> 0 
Lo ++.) +00 + + +.) > 0 
vP(a) — vP(b)—= N +2 } 
pP(b)— pP(a) = N'+ 2 | ou bien 
N — vP(a) — vP(b) — 24 u > 0 
N'— pP(b) — pP(a) — 2y’ w> 0 
et ainsi se trouvent démontrés les deux théorèmes de Sylvester, 
dans toute leur généralité. 
