theorem :: ORDINAL1:12

for A being epsilon-transitive set
for B, C being Ordinal st A c= B & B in C holds
A in C