[tjalex]

Check out the annotations on the side of the document for more details -- you can extend the proof to e^2 easily with c = 0.