Eine gerade Zahl n {\displaystyle {}n} ist genau dann vollkommen, wenn n = 2 k − 1 ( 2 k − 1 ) {\displaystyle {}n=2^{k-1}(2^{k}-1)} ist mit 2 k − 1 {\displaystyle {}2^{k}-1} prim.