theorem :: CLASSES1:33

for A being Ordinal holds Rank A c= Rank (succ A)