Then, by letting the automorphism in a theorem in Chapter 2 to be the identity, we get the closedness theorem for conjugacy classes of finite order in Lie groups.