Öncelikle sorudan sonraki ilk yorumu okuyunuz lütfen.
X, serbest bir Z-modül ve 0⟶A⟶B⟶C⟶0Z-modüllerden oluşan kısa net bir dizi ise 0⟶A⊗X⟶B⊗X⟶C⊗X⟶0dizisi de nettir (exact).
İpucu: A herhangi bir R halkası üzerine R-modül ise A⊗RR doğal olarak A'ya izomorftur. Önce bunu ispatlamak gerekli. Ya da bu bilgi kabul de edilebilir. Bundan sonra tensör işleminin toplamsal olduğu kullanılmalı. Öldürücü darbeyi vurmak için son olarak ilk dizinin netliği kullanılabilir.