Determine the triangle congruence property that could be
used to prove that A ABX ~= DEX