which of the following must be true to prove abc = def by the aas the theorem