Characterization of right properness using slice categories

I would like to know how to cite this theorem (which has a quite surprising consequence):

A model category $\mathcal{M}$ is right proper if and only if for any weak equivalence $f:A\to B$, the Quillen adjunction $\Sigma_f:\mathcal{M}/ A \leftrightarrows \mathcal{M} / B:f^*$ is a Quillen equivalence.

I had never heard of it (I never read that in any textbook I believe) before I browse the nLab site which refers to this blog comment from C. Rezk.

• There is a general (and quite useful) lemma saying that a Quillen adjunction $L:\mathcal{M}\leftrightarrows\mathcal{N}:R$ in which $L$ preserves and detects weak equivalences is a Quillen equivalence if and only if the counit map $v: L(R(X)) \to X$ is a weak equivalence for every fibrant object $X \in \mathcal{N}$. Now observe that $\Sigma_f$ preserves and detects weak equivalences and that $\mathcal{M}$ is right proper exactly when for every weak equivalence $f: A \to B$ in $\mathcal{M}$ and every fibrant $X \in \mathcal{M}/B$ the counit map $v: \Sigma_f(f^*(X)) \to X$ is a weak equivalence. – Yonatan Harpaz Sep 8 '15 at 11:15