:: deftheorem ZMODUL01:def 19 :
canceled;