, • sitt lif sokt att med matematisk bevisningoch