Natural numbers/Prime number/Definition