There is a short proof in Proposition 2.12 of my paper http://arxiv.org/pdf/1502.02150v1 which works over an arbitrary base ring.