Teorema C-1 Jika N Subgrup Normal dari grup G ,Bangun Himpunan G/N = { gN │g ∈ G} didefinisikan operasi * sebagai berikut : (aN) * (bN)=ab N, ∀ aN,bN ∈ G/N maka < G/N, *> merupakan grup