1.6.70 Fields, Groups, Rings

condition: of finite order, and \( p \) is a prime divisor of its order. There is an element of order \( p\) in the group.