theorem :: ZMODUL05:13

canceled;