1.6.46 Поля, группы, кольца

условие: Показать, что если \( H- \) инвариантная подгруппа конечной группы \( G \) и индекс \( [G: H] \) взаимно прост с \( p \), то любая силовская \( p- \) подгруппа группы \( G \) содержится в \( H \).