[math-fun] Simpler provably random PRNG, and general conjecture about provably random PRNGs