Associativité de la convolution des mesures

[ParLaLaSortie]

Bonjour,

C'est dingue, encore un truc élémentaire que je n'arrive pas à faire:
Soit G un groupe mesurable, c'est à dire un groupe muni d'une -algèbre pour laquelle les opérations du groupe sont mesurables.

Si et sont deux mesures -finies sur G, on définit la convoluée comme la mesure image de par .

Soient trois mesures -finies, telles que et soient -finies.

Montrer que = .

Je patauge dans la semoule avec çà !