バグのないプログラムが存在しないのは数学的に証明されてるからな。