バグがない証明ができるなら
バグのあるソフトは出荷されないだろう