ハードと同様に、プログラムにも欠陥がある事を証明してくれればいいんだぜ？
簡単な話だろ？