:: deftheorem ZMODUL02:def 24 :
canceled;