:: deftheorem ZMODUL01:def 11 :
canceled;