theorem :: ZMODUL05:15
canceled;