Readme This repository contains a proof of the following theorem: If H is a normal subgroup of G of prime index p then for all K ≤ G either K ≤ H or G = HK and |K : K ∩ H|=p