Без компьютеров мы будем застрять только доказывать теоремы, которые имеют короткие доказательства.