:: deftheorem ZMODUL02:def 21 :
canceled;