theorem Th48: :: ORDINAL5:48

for a being Ordinal holds a c= epsilon_ a