$$テトラ「そうなんですか......」テトラちゃんはいつも使っている《秘密ノート》を開いてメモをする。彼女は数学で学んだことをまめに書き留めておく習慣があるのだ。僕「もちろんこの《以上》の定義の前提として《より大きい》や《等しい》は定義済みでなくちゃいけないけどね。定義したといえるよ」テトラ「そうですか。うち、少なくとも片方が成り立つということだよ。両方が成り立ってもいい。テトラちゃんはさっき『以上というと大きいってイメージがある』って言ってたじゃない?」テトラ「はい、そうです。定義に戻って考える僕「うん、数学では《定義に戻って考える》ということがよくある。《定義に戻って考える》というときもあるし、《定義に従って考える》というときもある。僕「別の言い方をするよ。僕は、テトラちゃんが《イメージ》や《感じがする》と言ってたのが気になったんだ。方が大きい《イメージ》がある。》が成り立つかどうかを知りたい。》という式は出てこない。定義に戻って考えるとそうなるんだ。僕「いや、《気をつけ》はしなくていいんだけど......ここで、テトラちゃんに質問です。僕「では、テトラちゃんに質問です。僕「めんどうだけど、やってることは機械的だよね。定義をきちんと押さえて、定義に具体的な内容を当てはめて、一歩一歩確かめる。これが《定義に戻って考える》というやり方」テトラ「いえ、めんどうだとは思いません。そんなふうに一歩一歩進めるというのはとても気持ちのいいことだと思います」(もしもこれが)と僕は思った。(もしもこれがユーリだったなら、嵐のように《めんどーい!》とか言いそうだなあ......)僕「うん、だからね。自信がないなあ、はっきりと言い切れないなあと思ったときは、考えようとしている数学用語の《定義》を再確認するといいんだよ。僕とテトラちゃんは微笑み合った。