if ΔABE ≅ ΔACD