あることを示せばよい。ときも【4】が成り立つことを示す方法」を用いて証明しよう。この方法を[ソ]という。[ソ]に当てはまるものを、次の〔0〕~〔3〕のうちから一つ選べ。僕「この[ソ]の正解は〔2〕の数学的帰納法になる。そもそも〔0〕や〔1〕は証明の方法じゃない。テトラちゃん、どうしたの。背理法のこと、詳しく話す?」テトラ「い、いえ、そうじゃなくて、あたしはこの問題文の意味がさっぱりわからないんです。ときも【4】が成り立つことを示す方法」......僕「そうだね、とても日本語には思えない。ここでも、《少しずつ読む》ことが大事なんだよ。ついても【4】が成り立つ》ことを証明するのが目標だね。値が変われば主張していることも変わる式だよね。......自然数は無数にあるんですよね。