「ない」を証明することを悪魔の証明なんて言いますけど。
この悪魔の証明は絶対に不可能な事柄だと思ってる人、そういう喩えで使ってる人をたまに見掛けますけどそんなことないんですよね。
ただ、非常に面倒で困難である、というだけなわけですね。

例えば、
普通の１から６までの数字（点）が刻印されてる６面サイコロを一回振って、
７が出ないことを証明せよ。
みたいのは、その６面に７が含まれてないこと、
それぞれの面に７以外の数字が刻印されてることを証明すればいいだけなわけで。

母数が少なければどうということもない証明ですね。


そういうのは悪魔の証明っていうんだよばーかｗ
みたいなことを言ってる人を見ると、阿呆が何をいってるんだか……と思います。