Talk:Normal form for free groups and free product of groups