1: \begin{definition}

2:   Given a collection of groups $G_1, \dots, G_N$, we say that a reduced

3:   sequence is a sequence $g_1, \dots, g_m$ such that for $1\leq i\leq m$

4:   we have $g_i\in G_k$ for some $k$, $g_i\neq 1$ and $g_i, g_{i+1}$ are

5:   not in the same factor $G_l$ for some $l$.

6: 

7:   We say that $g=g_1\dots g_m\in \freeprod_{1\leq k\leq N}G_{k}$ is in

8:   the normal form if $g_1,\dots, g_m$ is a reduced sequence. According to

9:   the Normal Form Theorem for free product of groups, every element of

10:   the free product $\freeprod_{1\leq k\leq N}G_{k}$ can be written in a

11:   unique way in a normal form.

12: \end{definition}

13: