Lemma 14 and Definition 18 style correction