Supongamos que $I$ es un dos caras ideal en el anillo de $R$, $M$ es un módulo más el cociente del anillo de $R/I$. ¿Por qué nosotros, naturalmente, respecto a $M$ $R$- módulo que es aniquilada por $I$? Por el contrario, supongamos que $M$ $R$- módulo aniquilado por $I$. ¿Por qué es $M$, naturalmente, de un módulo sobre $A/I$?