:: deftheorem ZMODUL05:def 3 :
canceled;