>>42
そもそもバグ0をどうやって証明するのでしょうか?