theorem :: COMPLSP2:12

canceled;