Diamond Theorem for finitely generated Profinite free Group
  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. 
L. Bary-Soroker