I was reading this proof:
and I don't understand the very last part, why the order of the conjugacy class divides the order of the group. It says that it follows by Lagrange's but the conjugacy class is not necessarily a subgroup? I'm thinking that perhaps the index of the centralizer is exactly equal to the order of some subgroup of $G$, but I'm not sure. Can someone explain?