From Rosen's Discrete Mathematics and Its Applications, 3ed, chapter 8.1 p. 506-507:
...there are Ck ways to insert parentheses in the product x0 · x1 · · · · · xk
I would like to ask where this conclusion comes from. I am at a loss here. It feels that this proof does not give me the whole story. Thank you.

Rosen defines $C_n$ to be the number of ways of inserting parentheses in the product $x_0 \cdot x_1 \cdot x_2 \cdot \cdots \cdot x_n$, which has $n + 1$ factors. He then observes that one multiplication symbol remains outside all parentheses and supposes that it lies between $x_k$ and $x_{k + 1}$. If this occurs, then the number of ways to parenthesize the product $x_0 \cdot x_1 \cdot x_2 \cdot \cdots \cdot x_n$ is found by multiplying the number of ways of parenthesizing the $k + 1$ factors in the product $x_0 \cdot x_1 \cdot x_2 \cdot \cdots \cdot x_k$, which is $C_k$, by the number of ways of parenthesizing the $n - k$ factors in the product $x_{k + 1} \cdot x_{k + 2} \cdot x_{k + 3} \cdot \cdots \cdot x_n$, which is $C_{n - k - 1}$. Since $k$ can range from $0$ to $n - 1$, we obtain $$C_n = \sum_{k = 0}^{n - 1} C_kC_{n - k - 1} = C_0C_{n - 1} + C_1C_{n - 2} + \cdots + C_{n - 1}C_0$$