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