  We extend Haran's Diamond Theorem to closed subgroups of a finitely generated
free profinite group. This gives an affirmative answer to Problem 25.4.9 in the
book Field Arithmetics of Fried and Jarden.
