Natural number/Even number/Definition