“Non c'è ragione per cui ogni enunciato semplice, breve e vero debba avere una dimostrazione altrettanto semplice e breve.”