必要条件

　Ｂ大数学科の研究室で、数理論理学の分厚い本と格闘していたおれは、ふいに後ろから声をかけられた。

　振り向くと、思った通り、北岡彩萌だった。「あやめ」という字も、変な字を書く時代になったものだ、とおれはつねづねから思っていた。

「どうした、北岡？」

「友達と賭けをしてるんだけど」

「賭け？」

　その言葉に、ちょっとおれはかちんとくるのを覚えた。なんであれ、人が賭けの対象になっているというのは、面白くないものだ。

「立原さんって、論理学が恋人みたいな毎日を過ごしているけど、好みのタイプはいるのかな、って」

　おれは本を閉じて指を立てた。

「数学科の人間だったら、数学者らしい問題設定をしろよ」

「なによ、その数学者らしい設定って」

「たとえば、立原雄志が自分の伴侶にする人間の必要条件を述べよ、とか。必要条件は聞いたことあるよな。『ｐでなければｑでない』が成立するとき、ｐはｑの必要条件という」

「めんどくさい人ね」

　北岡彩萌は呆れた表情になった。

「それで、その問題の解答を聞いてもいいの？　というか、その問題に解はあるの？」

「あるよ」

　おれは、じっと北岡彩萌の眼を見つめた。

「必要条件は、ｐがＢ大数学科在籍の、北岡彩萌だった場合、だ」

　北岡彩萌はうっ、と言葉に詰まり、そして、ゆでだこのように赤くなった。

「どうした？」

　北岡彩萌は、それでも数学者の卵のひとりだった。

「必要十分条件にしてもいいわよ」

　その結果が現在のぼくたちというわけだ。

　Ｑ．Ｅ．Ｄ．（証明終わり）