theorem Th33: :: ORDINAL5:33

for a being Ordinal ex b being Ordinal st
( a in b & b is epsilon )