1000回テストしてOKでも、1001回目にNGが出るかは1/1000くらいであり得る。
理論的にあり得ないことだと看破できればテスト要らない。