:: deftheorem RECDEF_2:def 12 :
canceled;