:: deftheorem ZMODUL02:def 10 :
canceled;