The symmetric property is the idea that if A = B, then B = A. Flipping the equation around doesn't matter.
It's like saying 2+3 = 5 is the same as 5 = 2+3. We can extend the symmetric property to not only deal with equations, but include congruence statements as well.
