B = AB

dan» l'identité A =:ï àB, à AB- aubslituons soa étpuiva-

lent B, et nous avoas :

Triangle équilatéral ^ triangle éifMa0if^ équildléral,

160 LES LOOICIENS ANGLAIS CONTEHPOBAlSS

Triangle équiangle = triangle équilatéral équiangle.

Donc triangle équilatéral = triangle équiangle.

Cinquième cas. — Inférence d'une idenUté limitée, tirée de deux idenUlés partielles :

B = AB, B = CB; donc en substiiuant à B, dans l'identité B = CB, son équivalent AB, nous avons :