:: deftheorem LATTAD_1:def 25 :
canceled;