Which property justifies this statement?

If x + y = z and z = x + 4, then x + y = x + 4.

A.
symmetric

B.
associative

C.
distributive

D.
transitive