permute the earlier changes throughout the proof

in particular, drop the superflous \G and drop arguments about the measure from the case analysis.
make a bit vaguer but now correct