:: deftheorem ZMODUL01:def 15 :
canceled;