I believe that proving is not a natural activity for mathematicians.