فرض کنید $R$ حلقه ای یکدار بوده و$M$ یک $R$ مدول یکانی باشد همچنین فرض کنید $R$ تنها یک ایده ال چپ ماکسیمال داشته باشد وهر زیر مدول با تولید متناهی $M$ دوری باشد ثابت کنید زیر مدول های $M$ قابل مقایسه هستند یعنی برای هردو زیر مدول دلخواه $M_1$ و $M_2$ داریم $M_1 \subseteq M_2$ و $M_ 2 \subseteq M_1$
