:: deftheorem COMPOS_1:def 19 :
canceled;