theorem :: ORDINAL1:4

canceled;