Reciprocal of Thales's theorem
If $$ \frac{AD}{AB} = \frac{AE}{AC} $$ then (DE) // (BC)
→ Demonstration:
