pairs of positive integers such that the sum of the proper divisors of either number is one more than the other number