Random Guess Theorem to random prop