theorem :: ZMODUL02:4

canceled;