:: deftheorem ZMODUL01:def 16 :
canceled;