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