modifica
{ [triangolo] [equilatero] :3 lati congruenti $harr$ 3 angoli $cong$ }
{ $ABC,CAcongBCcongCA rarr hat(CAB)conghat(ABC)conghat(BCA)$ :in un [triangolo] [equilatero] gli angoli sono tutti $cong$ }