G,H iki grup. f: G---->H epimorfizma.
Sf(G) , kerf kümesini kapsayan G grubunun bütün K altgruplarının kümesidir.
S(H) ise H grubunun bütün altgruplarının kümesi olsun. O zaman:

Y: Sf(G)---->S(H)
K ---->f(K) olacak biçimde tanımlanan Y dönüşümü birebir ve örtendir.üstelik normal altgrupları normal altgruplara ***ürür.

İspat: ???????????????????