As a by-product of this development, we get the following fundamentally important property of the set $$\posints$$ of positive integers: