Given that overline rd is congruent to overline ed and the midpoint of overline cf and abcd and aefd are right triangles, prove that triangle bcd is congruent to triangle efd?