The perfect numbers are all of the form (2^(p-1))(2^p-1), whenever 2^p-1 is itself prime