Which property is used in the statement?
If z=3+1, then 3+1=z

A:Transitive
B:Symmetric
C:Addition Property of Equality
D: Subtraction Property of Equality