Reduced the proof to the main local result to a lemma in the Reducibility section.

I’ll add the proof of the lemma next time.