Before revision: Then put as Lemma: For every n, φ .
After revision: Then put as Lemma: For every n, .