فرض کنید ) T = T ri(A, M, Bحلقه ی اول -۲بی تاب باشد. در این پایان نامه ما ابتدا شرایط لازم وکافی برای آنکه پاد-مشتق ها روی Tبرابر با صفر باشند را به دست می آوریم. در ادامه، مجموعه ی Sرا به صورت S = (A, B) j AB = ۰, A, B 2 T [ (A, X) j A 2 T , X 2 fP, Qg , در نظر می گیریم، که در آن Pخودتوان استاندارد Tو Q = I − Pاست و فرض می کنیم δ : T ! Tیک نگاشت )نه لزوما جمعی( باشد که روی Sمشتق پذیر جردن است. ما شرایط معادل مختلفی برای δبه دست می آوریم، به ویژه نشان می دهیم که ،δیک مشتق جمعی است. در نهایت تعمیمی از قضیه ی اول پوسنر برای مشتق های تعمیم یافته روی مدول های اول به دست می اوریم.