Conjugacy Is an Equivalence Relation