theorem :: BAGORDER:23

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