El teorema se prueba con la estadística de tales códigos aleatorios.