In a proof that the diagonals of rectangle ABCD are congruent, which statement comes just after the statements that AD¯¯¯¯¯¯¯¯≅BC¯¯¯¯¯¯¯¯, AB¯¯¯¯¯¯¯¯≅AB¯¯¯¯¯¯¯¯ , and ∠DAB≅∠CBA ?

The statement that comes just after the statements mentioned is "ΔABD and ΔBCA are congruent triangles."