:: deftheorem ZMODUL02:def 23 :
canceled;