theorem Th50: :: CLASSES2:50

for U being Universe holds U = Rank (On U)