:: deftheorem ZMODUL01:def 4 :
canceled;