:: deftheorem COMPOS_0:def 6 :
canceled;