we have that
N 1
FC bisects given
N2
<1≅<4 ------> given
N3
<2≅<3 ------> by definition of angle bisector
N4
m by addition angle postulate
N5
m by substitution (proved)
1.6m questions
2.0m answers