theorem Th43:
  x in Rank A iff {x} in Rank succ A
proof
 x in Rank A iff {x} c= Rank A by ZFMISC_1:31;
  hence thesis by Th32;
end;
