http://ja.wikipedia.org/wiki/%E6%82%AA%E9%AD%94%E3%81%AE%E8%A8%BC%E6%98%8E

「悪魔の証明」の意味を勘違いしている馬鹿が多いようだな。
「世界中のどこにも存在しないことを証明する」のが悪魔の証明であって、
スレッドなんぞというごく限られた集合のなかにないことを証明するのは悪魔の証明ではない。

ただのチェックだ。