>>630
無い事を証明する方法が無ければ
有る事の証明をするしかなくてそれはそのまま無い事の証明につながるね。

¬A=BならA=¬B