Given: measure of angle D=~ measure of angle F ;

line GE bisects angle DEF
Prove: line DG=~ line FG

=~ is the congruent sign