C is the circumcenter of isosceles triangle ABD with vertex angle 2ABD. Does the following proof correctly justify that triangles ABE and DBE are congruent?
1. It is given that triangle ABD is an isosceles triangle, so segments AB and DB are congruent by the definition of isosceles triangle.
2. It is given that C is the circumcenter of triangle ABD, making segment BE a median.
3. By the definition of perpendicular, angles AEB and DEB are 90°, so triangles ABE and DEB are right triangles.
4. Triangles ABE and DEB share side BE making it congruent to itself by the reflexive property.
5. Triangles ABE and DBE are congruent by HL.

answer options:
There is an error in line 1; segments AB and BD are given to be congruent.

There is an error in line 2; segment BE should be a perpendicular bisector.

There is an error in line 4; segment BE is not a shared side.

The proof is correct.