:: deftheorem MEASURE6:def 1 :
canceled;