:: deftheorem ZMODUL02:def 7 :
canceled;