Working on finalizing the lemma no. 4 in charles' paper