:: deftheorem COMPOS_1:def 18 :
canceled;