:: deftheorem ZMODUL01:def 10 :
canceled;