Formalmente si "B" es el espacio de todos los caminos de longitud "L" con la topología del máximo, y si "M" es un espacio de medida sobre "B" con la topología normada, entonces se tiene convergencia en "M".