theorem :: ORDINAL1:2

canceled;