فرض کنید ‎ a ‎ و ‎ b ‎، ‎-c^*جبر باشند و ‎ x ‎ یک باناخ a-دومدول اساسی باشد و همچنین t:a→b ‎ و ‎ s:a→x ‎ نگاشت های خطی پیوسته باشند که ‎ t ‎ پوشا است. اگر برای هر ‎ a,b∈a a ‎ که ‎ ab=ba=0 ‎ داشته باشیم ‎t(a)t(b)+t(b)t(a)=0,‎ ‎s(a)b+bs(a)+as(b)+s(b)a=0‎ مطالعه می کنیم که ‎ t=ωφ ‎ و ‎ s=d+? ‎ هستند که ‎ w ‎ در مرکز جبر ضربگر ‎ b ‎ قرار دارد و ‎ ∅:a→b ‎ بروریختی جردن می باشد و ‎ d:a→x ‎ مشتق است و ‎ ?:a→x ‎ همریختی دومدولی است.