>>115
>>110の爺さんは、自分の証明は合っていると、
自分はそう確信し、満足しながら死んでいくのである。

こんな一節がなんかの本にあったな。フェルマー関係の本に。