در این پایان نامه، فرم.ل چوینارد از بع انژکتیو مدواها به بعد گرنشتاین انژکتیو مدولها تعمیم داده میشود. بویژه اگر m یک مدول با بعد گرنشتاین انژکتیو متناهی روی حلقه نوتری و جابجایی r باشد، این بعد برای آن برابر با سوپریمم depthrp -widthrpmp است، که در آن سوپریمم روی مجموعه ایده آلهای اول حلقه r در نظر گرفته میشود. همچنین ثابت شده است که اگر m باتولید متناهی و ناصفر باشد این بعد در صورت متناهی بودن با عمق حلقه برابر است