Theorems would be more intimidating if we gave them naturals instead of names And just imagine the numerology! Those lemmings would be forced to learn the statements of the theorems! We'd start at the greeks and onward and upward in order of discovery!