:: deftheorem ZMODUL02:def 28 :
canceled;