>>691
>回答者は確率変数として扱うこともできるよ

箱入り無数目の証明を正当化したいなら
そんなことはできない

事実上定数であるような確率分布を考えるならともかく
その都度異なる値になることを認める確率分布を考えるならNG