Question 476628
Proving it assumes that all perfect numbers N can be written as


*[tex \LARGE N = 2^{n-1} (2^n - 1)], in which this is equal to


*[tex \LARGE N = \frac{(2^n - 1)(2^n)}{2} = 1 + 2 + 3 + ... + (2^n - 1)]


hence we are done. So if mathematicians somehow find an odd perfect number this theorem might not be true.