Математическое доказательство: Сходимость ряда в теориях