fix comments
begin sylow thm 3