Solution p. lemma cfl exercise 8/01/25