theorem Th7: :: ORDINAL1:11

for x being epsilon-transitive set
for A being Ordinal st x c< A holds
x in A