theorem :: COMPLSP2:11

canceled;