Rewrite the definition as a biconditional. Isosceles trapezoids have two opposite congruent sides.