changed simplified problem with natural numbers, as in the introduction