Does this new proof have any practical consequences for determining if a PRNG algorithm is any good?