Given: ab= ce
cd= ef
prove: ab = df
o a. statement: ab = df
reason: substitution property of equality
o b. statement: de = de
reason: subtraction property of equality
o c.
statement: ce = df
reason: transitive property of equality
od. statement: cd = de
reason: substitution property of equality