Edited Potential Function Lemma for GE

Tried to increase the Clarity of the first lemma of section 3.1