در این پایان نامه قضیه صفر شدن دو گان عدد باس موضعی را ثابت خواهیم کرد. در جزییات فرض کنیم r یک –u حلقه m یک –r مدل آرتینی و اگر در این صورت که در آن امین دوگان عدد باس –r مدول m نسبت به p می باشد و fdrp home r(rp.m) ممکن است نامتناهی باشد علاوه بر آن اگر cograderp (rp.m) و fdrphomer(rp.m) آنگاه (p.m)0همچنین (p.m)0