theorem Th44: :: ORDINAL5:44

for a, b being Ordinal st a in b holds
epsilon_ a in epsilon_ b