Exercise 3, § 2

Let $B$ be a locally compact space, $H$ a locally compact group. Set $X = B \times H$, the group $H$ operating in $X$ by

Let $\lambda$ be a measure on $B = X/H$, and $\beta$ a left Haar measure on $H$. Then $\lambda^\# = \lambda \otimes \beta$.