prove that Δ ABD ~ Δ ECF.