theorem :: ORDINAL1:1

canceled;