All Questions

Let R be a commuative ring. Consider the category of simplicial R-modules with the projective model stucture. Can someone give me a precise reference which proves that this model category is proper? ...