Una técnica con frecuencia usada para probar la existencia de una medida de Haar en un grupo localmente compacto "G" es demostrando la existencia de una medida de Radon invariante izquierda en "G".