Automatic Discovery
Algebra helps Geometry
Elimination
GDI
•
ortico is equilateral
•
Bisectores