Fill in the blink
Given ,Simplify ,BC=EF ,Multiplication Property of Equality ,Substitution Property of Equality AC=DF DE+EF=DF Reflexive Property of Equality Transitive Property of Equality ,Segment Addition Postulate, Division Property of Equality ,Addition Property of Equality, Distributive Property, Subtraction Property of Equality