ISTRODCCTIOÜ A LA THÉORIE BE9 FORMES ALGÉBRIQUES

Ces formules s'emploient dans les calculs symboliques absolument de la même manière que les identités correspondantes relatives aux formes binaires (p. 240). Nous ferons spécialement ressortir encore ce fait que l'échange des symboles de même sens et l'addition des expressions identiques entre elles, ainsi obtenues, forment un moyen auxiliaire d'un usage fréquent, et qu'en particulier on a le théorème suivant ;

Si une expression symbolique change de signe lorsqu'on permute deux symboles de même sens, cette expression est identiquement nulle.