We prove a reduction theorem for a Sobolev type embedding on R^n equipped with the Gaussian measure. With the help of this result we characterize optimal rearrangement-invariant spaces in Gaussian Sobolev embeddings.