Esto es fácil de probar para los módulos proyectivos finitamente generados, pero el caso general es difícil.