for o being infinite Ordinal holds not LexOrder o is well-ordering