theorem Th31: :: ZFREFLE1:31

for W being Universe
for a being Ordinal of W holds Rank a in W