if BCDE is congruent to OPQR then DE (line above) is congruent to

RQ (line above).