完全数って2^n×pの形の数しか見つかってないんだっけ?

完全数のときに成り立つ式を見ながらふと思ったんだけど、

なんかフェルマーの最終定理と似たにおいがするなぁ