theorem :: COMPL_SP:24

canceled;