theorem Th47: :: ORDINAL5:47

for b being Ordinal
for x being object st not b is empty & b is limit_ordinal holds
( x in epsilon_ b iff ex c being Ordinal st
( c in b & x in epsilon_ c ) )