theorem Th36: :: CLASSES1:36

for A, B being Ordinal holds
( A in B iff Rank A in Rank B )