Randol to Random Guess Theorem