始めから偽だと分かっている仮定を追加したら、
その偽だと分かっている仮定が偽だと証明できるだけのこと。

ナンノ意味モナイ！

そういえばオッパッピーはワセダだったか。