Step 6 is redundant to the proof.
The explanation is also wrong - CPCTC has not been proven. They are equal because the triangle is isosceles due to the two equal base angles.
6 is incorrect as CPCTC cannot be used when congruent is not proven yet.
6 is also not needed as 1,5,7 prove it by ASA.
