"average person proves 3 theorems a year" factoid actualy just statistical error. average person proves 0 theorems per year. Carl Gauss, who lives in cave & proves over 10,000 each day, is an outlier adn should not have been counted