theorem :: SUPINF_2:38

canceled;