theorem :: ZMODUL02:6

canceled;