فرض کنید rحلقه نوتری و جابجایی و aیک ایده ال سره از حلقه ی rباشد.همچنینra n:=gradeدراین صورت نشان میدهیم endr(hna(r)?extnr(hna(r),r).همچنین ثابت میکنیم که برای عدد صحیح غیر منفی nبه طوری که برای هر i?n ،0=hia(r) باشد،اگر برای هر i>0 وa?zوextir(rz,r)=0آنگاه endr(hna(r)تصویر همریخت حلقه ی rاست که rzحلقه ی کسرهای rنسبت به زیر مجموعه ی بسته ی ضربی{zj|j?0}ازrمی باشد.علاوه بر این اگر برای هرa ?z داشته باشیم homr(rz,r)آنگاه همریختی حلقه ای کانونی ??:r?endr(hna(r)یکریختی است.