# is it natural number? x=0,1,2,...,n ; isnatural(x_):=If(x>=0 and isinteger(x), true, false);