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 ?

△DAB≅△DOC
△DAB≅△CBA
△DAB≅△DAO
△DAB≅△AOB

The statement that comes just after the statements "AD¯¯¯¯¯¯¯¯≅BC¯¯¯¯¯¯¯¯, AB¯¯¯¯¯¯¯¯≅AB¯¯¯¯¯¯¯¯, and ∠DAB≅∠CBA" is "△DAB≅△CBA".