triangle proofs
line segment AE parallel to DF
line segment AE congruent to DF
Line segment AB congruent to CD
All are given
