theorem Th38: :: CAT_7:38

for O1, O2 being ordinal number
for C1 being preorder b₁ -ordered category
for C2 being preorder b₂ -ordered category holds
( O1 = O2 iff C1 ~= C2 )