>>724
集合Aのランクがα+1の時を考える
P(A)はランクα以下の集合の集合だからランクα+2

ここで，α+1は後続順序数なのでx ∈ Aでrank(x) = αのものが取れる
あるf∈Map(A, 2)について，(x, 0) ∈ fであるが，(x, 0) ={{x}, {x , 0}}なのでrank((x, 0)) = α + 2
よって，rank (Map (A, 2)) = α+4

じゃないかなって思って