You have a number of incorrect statements. You have incorrect use of reflexive property of congruence. The reflexive property says things are congruent to THEMSELVES! Incorrect use of transfer property; not needed. 5 is wrong; don't use "bisector" theorem. Triangles are isosceles by definition if only two sides are congruent. Use ASA, not SAS. Here is a correct proof: 1. ∠BAD ≅ ∠CAD Given 2. AD ⊥ BC Given 3. ∠BDA ≅ ∠CDA Both are right angles by 2 4. AD ≅ AD Reflexive property 5. ᐃADB ≅ ᐃABC Angle-Side-Angle 6. AB ≅ AC Corresponding parts of congruent triangles 7. ᐃABC is isosceles Two sides are congruent. Edwin