:: deftheorem ZMODUL01:def 14 :
canceled;