:: deftheorem FUNCT_6:def 1 :
canceled;