Bounds on Injective Dimension and Exceptional Complete Intersection Maps

We prove that if $f:R\to S$ is a local homomorphism of noetherian local rings, and $M$ is a non-zero finitely generated or artinian $S$-module whose injective dimension over $R$ is bounded by the difference of the embedding dimensions of $R$ and $S$, then $M$ is an injective $S$-module and $f$ is an exceptional complete intersection map.