since we know the triangles are right-triangles, because ∡C = ∡F = 90°, then the right-triangle congruence tests apply.
and since we know AC = DF, and that ∡B = ∡E, where these two angles are acute angles in a right-triangle, then we can use Leg and Angle, namely LA, thus they're indeed congruent.
