Сколько ежегодно доказывается теорем?

Теорема - это математическое утверждение, истинность которого установлена путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы). Для одной теоремы может быть известно более одного доказательства, но для установления статуса утверждения как теоремы требуется только одно доказательство. Как пример - в научной литературе зафиксировано не менее 400 доказательств теоремы Пифагора, но это одна теорема. Удивительно, но подсчитано, что ежегодно доказывается более четверти миллиона теорем!