誰かが教えてくれた誰かの論文が
箱入り無数目のものネタのようで
そちらは正式に数学の定理として
証明していたと思いますね
さらにはまた別の設定で
完全に（つまり確率1で）当てることが可能という定理も乗っていたような