Exercise 4 Let G be a group of order 2³ - 7 = 56. Prove that G contains at least one normal subgroup.

Suggestion: Prove that G contains either a normal Sylow 2-subgroup or a normal Sylow 7-subgroup. Do this by

assuming otherwise and counting elements. Be careful with intersections when doing your count.