Define what is meant by two elements of a group $G$ being conjugate, and prove that this defines an equivalence relation on $G$. If $G$ is finite, sketch the proof that the cardinality of each conjugacy class divides the order of $G$.