pを素数とする
位数p^n(n≠0)の群に、位数pの元が存在すること
はいかにして示しますか？