"Theorems... record more complex patterns of thinking that once shown to be valid need not be repeated every time they are needed."
January 1, 1970
https://en.wikiquote.org/wiki/Richard_Hamming