Stable orbit equivalence of Bernoulli actions of free groups and isomorphism of some of their factor actions

We give an elementary proof for Lewis Bowen’s theorem saying that two Bernoulli actions of two free groups, each having arbitrary base probability spaces, are stably orbit equivalent. Our methods also show that for all compact groups K$K$ and every free product Γ$\Gamma$ of infinite amenable groups, the factor Γ?K^Γ/K$\Gamma ?K^{\Gamma }/K$ of the Bernoulli action Γ?K^Γ$\Gamma ?K^{\Gamma }$ by the diagonal K$K$-action is isomorphic with a Bernoulli action of Γ$\Gamma$.