Para establecer el Teorema, primero es necesaria la idea del Espacio de Hilbert sobre formula_1, formula_2; esto es razonable puesto que la medida de Haar existe en formula_1.