theorem :: ORDINAL1:38

canceled;