En otras palabras, Kleene plus en formula_4 es