theorem :: COMPLSP2:10

canceled;