Up to a few easy lemmas, end of the proof of lemma 3.2 assuming Round (-x) = - Round (-x).