theorem Th38: :: CAT_7:38
for O1, O2 being ordinal number
for C1 being preorder b1 -ordered category
for C2 being preorder b2 -ordered category holds
( O1 = O2 iff C1 ~= C2 )