In parallelogram abcd, one way to prove the opposite sides are congruent is to draw in auxiliary line bd, then prove triangle abd congruent to triangle cdb, and use cpctc to prove ad bc and ab dc. which triangle congruency theorem is used to prove that triangle abd is congruent to triangle bcd?