Actually fixing up Section 3.4

Converted the proof to the case a<c.