:: deftheorem ZMODUL01:def 12 :
canceled;