The behaviour of future teachers dealing with proof problems in arithmetic