Normal form theorem for an amalgamated free product

In $A{\ast }_{C}B$, an alternating product of elements of $A\setminus C$ and $B\setminus C$ is nonidentity. More generally, choosing coset representatives gives a unique reduced normal form.