X ex parte || Y in toto

« Mais, comme dans toute équation il n'importe pas lequel des deux membres est exprimé le premier, les deux dernières de ces huit formes sont identiques avec les deux premières et peuvent par conséquent être négligées.

(( La seconde peut être aussi négligée, car la quatrième exprime la même chose d'une manière plus convenable pour le procédé déductif.

c( Il reste donc les cinq formes suivantes :