Se verifica que hay, salvo una constante multiplicativa, sólo una medida regular invariante por traslación izquierda en "X" que sea finita en todos los conjuntos de Borel de "G" tales que el μ("U") > 0 para cualquier abierto de Borel no vacío "U" dado.