the set of natural numbers does no longer include 0, made changes accordingly