Normal form theorem for an amalgamated free product
= Normal form theorem for an amalgamated free product
In $A*_CB$, 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.
This is the amalgamated case of <normal form for free groups and free product of groups>.