theorem :: SUPINF_2:35

canceled;