( 547 



17. Des dix-huil formiilos précédentes, il n'y en a que 

 treize qui soient réellement distinctes : cinq d'entre elles 

 sont des conséquences des treize autres. La formule (XIII) 

 est une conséquence de (XVII) : il suffît de supposer dans 

 cette dernière lormule que les axes A' et A" coïncident 

 pour obtenir (XIII). (XI) se déduit de (XVI) ; (VII) et (XIV) 

 sont des conséquences de (XVIII), et (VIII) est une consé- 

 quence de (XV). 



18. Il y a réciprocité complète entre le théorème de 

 Liouville et la formule (11). Du théorème de Liouville nous 

 avons déduit la formule (II); réciproquement, celte der- 

 nière peut servir de point de départ à la démonstration 

 (lu théorème de Liouville. En effet, comme nous l'avons 

 montré, on peut passer de la formule (II) à la formule 

 (XIII), et si, dans celte dernière, on suppose le point 

 rejeté à l'infini, on reloinhc sur le théorème de Liouville. 



