Is this correct?
Given: AE=FB, DA=CB, Angle A is right and Angle B is right.
DA is congruent to CB - side, Angle A and Angle B are congruent - Angle, AE+EF = BF+EF, thus AF is congruent to BE - Side. SAS, CPCTC proves that DF is congruent to CE. QED.