Языкоед

Надо проверить количество.

Тогда я предположу, что вы как автор склоняетесь к недоказанности теоремы, и между прочим упомяну, что, согласно таким-то источникам, она была доказана. А вам решать, как использовать эту информацию. Могу ничего не писать о фактах — как договоримся (это не для моего самоутверждения, а для качества итогового материала).