关于完全数的一个猜想及其证明