Lemma is following

Lemma is not following anyone.