偶数の完全数は 2 m − 1 {\displaystyle 2^{m}-1} が素数の時の 2 m − 1 ( 2 m − 1 ) {\displaystyle 2^{m-1}(2^{m}-1)} の形しかありません。