:: deftheorem LATTAD_1:def 24 :
canceled;