Math

Associativity of the free product of groups