Returns true iff n is a perfect number, i.e. the sum of its divisors other than itself equals itself.