Random Guess Theorem view 2