:: deftheorem ZMODUL02:def 27 :
canceled;