All that had to be assumed was that the reference sequence was at least free; an assumption from As an example von Mises cites the sequence of figures occupying the last place of a six figure table of square roots.