So has a unique, normal sugroup of order 7, which then pulls back under the canonical projection (this is the correspondence theorem) to

a subgroup of order (why?!? Look at the respective indexes which, again by the CT, stay the same...) which, again by the corr. theorem, is

also normal in

Tonio