:: deftheorem COMPOS_1:def 26 :
canceled;