A justified intermediate-ramp simplification

This lemma uses an identified internal vertex and proved causal support. It does not use the locations of the retained external triple as substitutes for internal variables.

The source coefficients $q$ remain those of the actual source. No simply weighted source is substituted.