Я считаю, что доказательство не является естественной деятельностью для математиков.