《$P$でないならば$Q$でない》という命題を証明する代わりに、《$Q$ならば$P$》を証明する。$$僕「たとえば、具体的な話をしようか。数学ではよくこういうのが出てくるよね。考えてもいいけれど、対偶を考えるとすっきりわかる。僕「なぜダウト?」ユーリ「ねえ、お兄ちゃん。僕「ああ、そうかそうか。ユーリは賢いなあ!」ユーリ「照れるじゃん。僕「マイナス$100$億って......ダイナミックだなあ。ユーリは完全に正しいよ。《実数$x$が$3$より大きい》というのは命題じゃないね。