5) R es Dedekind si y solo si todo R-modulo divisible es inyectivo (cualquier modulo inyectivo es divisible).