Which property supports the statement:

"If AC=DF, then DF=AC"

Symmetric
Reflexive
Transitive
Substitution

got any idea?