فرض کنیم r‎ حلقه ی موضعی نوتری جابه جایی باشد. مجموعه ی کلاس های یکریختی -rمدول های به طور کلی بازتابی تجزیه ناپذیر را در نظر می گیریم. نشان می دهیم که اگر این مجموعه متناهی باشد، در این صورت یا این مجموعه، تک عضوی است با تک عضو کلاس یکریختی مدول آزاد رتبه ی یک، یا rگرنشتاین و تکینی منفرد است (اگر rکامل باشد، در این صورت rحتی یک تکینی ابررویه ی ساده است). مسأله ی اصلی در اثبات این حکم آنست که نشان دهیم، اگر میدان مانده، پوشش به طور کلی بازتابی داشته باشد، در این صورت rگرنشتاین، یا هر -rمدول به طور کلی بازتابی، آزاد است.