theorem :: ORDINAL1:15

for A, B being Ordinal holds A,B are_c=-comparable