Cada suma directa finita de módulos inyectivos es inyectiva.