:: deftheorem VALUED_0:def 10 :
canceled;