سؤال: مبرهنة في الجبر تنص على أنه إذا كان M مودولا على حلقة تبديلية منتهيَ التوليد وإذا كان I مثاليًّا محتوًى في كل مثاليٍّ أعظمي في هذه الحلقة وإذا كان M = M I فإن M = {0} فما اسم هذه المبرهنة؟
جواب: توطئة ناكاياما