Nous allons montrer que, réciproquement, on a

C'est la conclusion presque immédiate du lemme du n° 25. Soient

les p — 1 variétés qui ne forment pas frontière sur E/^. Considérons deux de ces variétés V] et V^. Par chacune d'elles passe au moins une variété \n-i qui ne forme pas frontière. Mais, si l'on considère le groupe des variétés Yn-i qui ont V] en commun, el le groupe des variétés \n-i qui ont V, en commun, il j aura au moins deux de ces variétés, une dans chaque groupe, qui, prises ensemble, ne formeront pas frontière, car, s'il en était autrement, on pourrait, au moyen des variétés des deux: premiers groupes, former un troisième grbupe de variétés dont cliaque élément formerait frontière, et qui auraient en commun les deux variétés ¥< et Vo ne formant pas frontière, ce qui est impossible. En continuant de proche en proche le même raisonnement, on en conclut

d'où l'égalité

Pn-l = Pi

Dans son Mémoire sur VAnaljsis situs, que nous avons cité plus haut, M. Poincaré a donné une démonstration générale de régalité/»,,^ =/?«m(p- 33 à 46). Sa démonstration repose sur des considérations entièrement différentes, mais peut-être plusieurs points auraient-ils besoin d'être complétés. Aussi, avons-nous suivi une autre voie, mais nous avons dû nous limiter au cas de