theorem :: ORDINAL6:10

canceled;