Jabarkan dengan dari Kompleks Amitsur

Dalam notasi di atas, jika  adalah rata tepat kanan, maka teorema Alexander Grothendieck menyatakan bahwa kompleks (imbuhan)  adalah eksak dan karenanya adalah resolusi. Lebih umum, jika  adalah rata tepat kanan, maka M untuk setiap modul kiri-R,