:: deftheorem ZMODUL02:def 17 :
canceled;