Theorem 23.1:

If the coproduct (free product) exists then it is unique upto isomorphism. Denoting the coproduct by $G_1 * G_2$, the maps $i_1$ and $i_2$ are injective and so $G_1$ and $G_2$ may be regarded as subgroups of $G_1 * G_2$.