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.
Thomas Poguntke
- 211
- 1
- 2
- 8