>>869

そのイコールが成立することはあとでいうが、それがなかったとしても、

Aかもしれない　の否定は　Aでないかもしれない

とはならず、「Aでないことが確実だ」となります。

ここに異論はないよね？