started 222 in lemma 6.2