$A$ bir değişmeli halka, $M,N$ birer $A$ modül, $M'\leq M$, $N'\leq N$ birer altmodül olsun. Bu durumda aşağıdaki gibi kanonik bir izomorfizma olduğunu ispatlayın.
$$M/M'\otimes_A N/N'\simeq M\otimes N/(M\otimes_A N'+M'\otimes N)$$
<p> <b> Ahmet sinan cevik cebir 2 kitabina bir bak birde spring yayinlari algebra moduls bolumunde ispati vardi </p></b>
sağol.