それは確かに大問題だ。証明し、......というふうにすべてをひとつひとつ証明していくわけにはいかない。証明し尽くすことができない——それです!」テトラちゃんは興奮してぶんぶんと頷く。僕「そこで、数学的帰納法の登場だよ。僕「テトラちゃんはもうわかっていると思うよ」テトラ「えっと、まちがっていたらすみません。僕「そうそう、それでいいんだよ」テトラ「ああ、よかったです。あの、こんなこと言ってはなんですけれど、《それだけのこと?》って思っちゃいます。とき......》なんて、ちょっと、大げさですよね?」テトラちゃんが大きな目で僕を見る。やっていることに比べて確かに大げさな言い方かもしれない。それは、問題作成者が、数学的帰納法の形に合わせようとしているからだと思うな。実際のところ、成り立つかな。それで立派な証明だよ、テトラちゃん」テトラ「そうなんですか。......証明って何か、こう、難しい数式を使わなくちゃいけないと思っていました。難しい数式を使わなくちゃいけないなんてルールはないよ。