AB=CD
given
AB=CD
definition of
congruent segments
AE+EB = CF + FD
segment addition
AE=FD
AE FD
definition of
congruent segments
AB=AE+EB
CD= CF+FD
segment addition
CF= EB
given
CF = EB
definition of
congruent segments