:: deftheorem ZMODUL02:def 16 :
canceled;