theorem :: SUPINF_2:37

canceled;