  Answering a question of Dan Haran and generalizing some results of
Aschbacher-Guralnick and Suzuki, we prove that given a set of primes pi, any
finite group can be generated by a pi-subgroup and a pi'-subgroup. This gives a
free product description of a countably generated free profinite group.
