:: deftheorem COMPOS_1:def 20 :
canceled;