:: deftheorem ZMODUL02:def 19 :
canceled;