فرض کنیم i یک ایده ال سره منظم در حلقه نوتری r باشد. ثابت میکنیم که حلقه ای چون a، که توسیعی صحیح آزاد و ساده از حلقه r بوده، وجود دارد به طوری که ایده ال ia دارای یک پایه rees-good است و آن عبارت است از پایه c1,…cg بطوری که برای تمام حلقه های ارزیابی ریس w ازia، ciw =iw.
علاوه بر آن ممکن است aساخته شود به طوری که:
1- iaو i دارای اعداد ریس یکسان باشند .( با احتمال اینکه رتبه های متفاوت داشته ...
