Fuente TeX:

\exists k \in N: w \in L(r^*)^k \Longrightarrow w = w_1 w_2...w_k: (\forall i) i \in \{1...k\} \wedge w_i \in L(r^*)