>>560
1:Nでつながり、それがネストする構造

>>561
それが正しいです．．．

>>562
木と書いたのは誤り

>>563
途中のpとnに関しては、完全数でなくてもいいのでpは素数でなくてもよく
n,p≡1 (mod 4)でなくても構いません
終点では完全数にならなければならないので、pxはbに含まれないことになります