証明の厳密さは、簡明さの敵だと思うのは誤りである。むしろその逆に、多くの実例は、厳密な方法こそ、同時に、より簡潔で平易で、より分かりやすいものであることを物語っている。厳密さを志すあらゆる努力が、最も簡単な証明法を見つけるように、我々を導くのである。