バグがないと証明するのは不可能である。よってバグなどない。