You can drag in the first empty box ∡3 and get ∡2≅∡3.
In the second box you can drag '' definition of angle bisector ''.
In the third empy box you can drag ∡1 and get ∡1≅∡3.
At last empy box you can drag ''transitive property of congruence''
Good luck!!!
