As shown in the figure, ad is the angular bisector of △ ABC, de ‖ AB, DF ‖ AC, EF intersects ad at point O. excuse me: is do the angular bisector of △ def? Please give reasons

As shown in the figure, ad is the angular bisector of △ ABC, de ‖ AB, DF ‖ AC, EF intersects ad at point O. excuse me: is do the angular bisector of △ def? Please give reasons

Do is the angular bisector of △ def. It is proved that: ∵ ad is the angular bisector of △ ABC, ∵ CAD = ∵ bad. ∵ de ∥ AB, DF ∥ AC, ∵ EDA = ∵ fad, ∵ FDA = ∵ ead, ∵ EDA = ∵ FDA. ∵ do is the angular bisector of △ def