fixing proof of lemma in first reduction on trivalent graphs