R bir halka ve M bir R-modül olsun. M modülünün her dual sonlu N alt modülü için M nin bir K direkt toplam terimi ve Çek(?) ? Rad(K) olacak şekilde bir ??K ? M?N epimorfizması varsa M modülüne dual sonlu Rad- D12 modül ...