If angle ABC is congruent to angle DEF, what substitution property would this equation be??? Angle DEF=180 degrees - angle ABC A.) Substitution property of equality B.)Substitution property of congruency C.) Substitution property of transitivity