theorem Th6: :: ORDINAL3:6

for A being Ordinal
for X being set st X c= A holds
On X = X