theorem :: ORDINAL6:14

ord-type {} = 0 ;