Take a context-free grammar for with start symbol , rename nonterminals if necessary, and add a fresh start symbol with
Every derivation concatenates finitely many words of , and every finite concatenation can be derived. The resulting grammar generates , proving closure of context-free languages under Kleene star.