„Man könnte sagen: ein mathematischer Satz ist der Hinweis auf einen Beweis.”