Proven an important lemma. Admitted an unimportant one where omega should help but it does not.