theorem Th9: :: ORDINAL2:9

for X, Y being set st X c= Y holds
On X c= On Y