In the following diagram, we know that AB congruent BC and angle 1 congruent angle 2. Which of the three theorems (ASA, SAS, or SSS) would be used to justify that triangle ABC congruent triangle CDA?