theorem Th41: :: CLASSES1:41

for X, Y being set
for A being Ordinal st X c= Y & Y in Rank A holds
X in Rank A