“La dimostrazione è l'idolo dinanzi al quale il matematico puro si tortura da solo.”