:: deftheorem VALUED_0:def 4 :
canceled;