そう言えば昔、数学大辞典みたいな本が編纂された時に
「1+1＝2」を証明するのに数100ページを費やしたという話があったな