The topological complexity of the free product

We prove the formula $TC(G\ast H)=\max \{TC(G),TC(H),cd(G\times H)\}$ for the topological complexity of the free product of discrete groups with cohomological dimension >2.