1.6.47 Fields, Groups, Rings

Condition: show that in any group \ (g \) the invariant subgroup \ (k \) order \ (p {a} \) is contained in each Silovskaya \ (p \) - subgroup \ (g \).