 Closure of context-free languages under concatenation

If context-free grammars with disjoint nonterminal alphabets have start symbols $S_1,S_2$, adjoining a new start symbol and the production $S\to S_1{S}_2$ gives a context-free grammar for the concatenation of their languages.