Ktheory

Minor changes on lemma 1