十分にテストすれば、ソフトウェアに不具合が1つもないことを証明できる。