:: deftheorem ZMODUL02:def 6 :
canceled;