:: deftheorem ZMODUL02:def 26 :
canceled;