theorem Th38: :: CLASSES1:38

for A being Ordinal holds A c= Rank A