Divided proof for second sylow thm