Умение доказывать теоремы, это умение логически мыслить.
Например доказали теорему Великую Ферма (доказательство - целая книга!!), т.е. просто чтобы переписать его надо несколько дней. Сам же Ферма, доказал это просто читая какой то текст, и просто отсутствие место на полях, не позволило ему изложить доказательство. Но в любом случае, он не имел ввиду такое доказательство - у него было какое то другое и очень просто... или он ошибся))