theorem :: ZMODUL02:5

canceled;