Demonstração: nenhum registro é lido ou gravado. O valor escolhido não muda nada —
o servidor decide e grava o prêmio antes da contagem, então sacar R$ 100 ou R$ 20 dá o
mesmo prêmio, e a campanha não pode prometer proporcionalidade. As cédulas que saem são
cenário; o prêmio de verdade é o que aparece na revelação.