theorem :: ORDINAL1:3

canceled;