Symmetry of Relations is Symmetric

Theorem
Let $\RR$ be a relation on $S$ which is symmetric. Then:
 * $\tuple {x, y} \in \RR \iff \tuple {y, x} \in \RR$.

Proof
Let $\RR$ be symmetric.