ある数列があらゆる検定に対して偏りがないことを証明できれば
その数列は乱数ってだけ。

擬似乱数の証明はできても乱数の証明はすべての検定について述べなければ証明とは言えない。