Cualquier producto (incluso infinitamente muchos) de módulos inyectivos es inyectivo.