prove that AD/AB = AE/AC.