mathematically verify RNG

Currently browsing: mathematically verify RNG