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)
8.1m questions
10.8m answers