Analyze the diagram below and answer the question that follows. is a perpendicular bisector of . Given the diagram above, why is ? Explain your reasoning.

A.
1) and are right triangles, given in the diagram
2) , given in the diagram
3) by the HL theorem
B.
1) and are right triangles, given in the diagram
2) , definition of a perpendicular bisector
3) , given in the diagram
4) by the HL theorem
C.
1) and are right triangles, given in the diagram
2) , definition of a perpendicular bisector
3) , given in the diagram
4) by the HL theorem
D.
There is not enough information given in the diagram to prove the triangles congruent.