> There's only one sum of all the proper divisors for any given integer.
This really seems to assume that uniqueness is an implicit property of each integer of such sums. I don't understand how you would know know that or how to discover that other than "you couldn't get the answers we're showing you unless you assumed that".