  Let (G_i | i in I) be a family of groups, let F be a free group, and let G =
F *(*I G_i), the free product of F and all the G_i. Let FF denote the set of
all finitely generated subgroups H of G which have the property that, for each
g in G and each i in I, H \cap G_i^{g} = {1}. By the Kurosh Subgroup Theorem,
every element of FF is a free group. For each free group H, the reduced rank of
H is defined as r(H) = max{rank(H) -1, 0} in \naturals \cup {\infty} \subseteq
[0,\infty]. To avoid the vacuous case, we make the additional assumption that
FF contains a non-cyclic group, and we define sigma := sup{r(H\cap
K)/(r(H)r(K)) : H, K in FF and r(H)r(K) \ne 0}, sigma in [1,\infty]. We are
interested in precise bounds for sigma. In the special case where I is empty,
Hanna Neumann proved that sigma in [1,2], and conjectured that sigma = 1;
almost fifty years later, this interval has not been reduced. With the
understanding that \infty/(\infty -2) = 1, we define theta := max{|L|/(|L|-2) :
L is a subgroup of G and |L| > 2}, theta in [1,3]. Generalizing Hanna Neumann's
theorem, we prove that sigma in [theta, 2 theta], and, moreover, sigma = 2
theta if G has 2-torsion. Since sigma is finite, FF is closed under finite
intersections. Generalizing Hanna Neumann's conjecture, we conjecture that
sigma = theta whenever G does not have 2-torsion.
