theorem :: SUPINF_2:36

canceled;