Proved Lemma1 in the KEPS paper, removed all cheats