It has been estimated that over a quarter of a million theorems are proved every year.
تخمین زده شده‌است که بیش از یک چهارم یک میلیون قضیه، هر سال اثبات می‌شود.