1: \begin{abstract}

2: We show that the harmonic measure on a product of boundaries satisfies dimension conservation for a random walk with non-elementary marginals on a countable group acting on a product of hyperbolic spaces under finite first moment condition.

3: \end{abstract}

4: