added some reasoning for why the lemma part of the proof works