the proof of lemma2 of circle starks by Xiaoxue