Teorem: A bir R modül ve B, A nın alt modülü olsun. A nın B yi kapsayan alt modüllerinin kümesi ile A/B nin alt modül kümesi arasında 1-1 eşleme vardır.
İspat: ?