theorem :: SUPINF_2:44

canceled;