Dimension of the product and classical formulae of dimension theory

Let $f:X\text{lo}Y$ be a map of compact metric spaces. A classical theorem of Hurewicz asserts that $\dim X\le \dim Y+\dim f$ where $\dim f =\sup {\dim f^{-1}(y): y \in Y }. The first author conjectured that {\em\dim Y + \dim f$inHurewic{z}^{\mathrm{\prime }}stheoremcanbereplacedby$\sup {\dim (Y \times f^{-1}(y)): y \in Y }$}. We disprove this conjecture. As a by-product of the machinery presented in the paper we answer in negative the following problem posed by the first author: {\em Can for compact $X$ the Menger-Urysohn formula $\dim X \leq \dim A + \dim B +1$beimprovedto$\dim X \leq \dim (A \times B) +1$ ?} On a positive side we show that both conjectures holds true for compacta $X$ satisfying the equality $dim(X\times X)=2\dim X$.