In [1]} Hochman and Shmerkin used the folklore fact that \(\mu ^-\) -typical \(\mu _{\mathbf {i}^-}^+\)  and \(\mu ^+\)  have the same exact dimension when \(\mu ^+\)  is ergodic. For readers' convenience we shall present a proof here.
