Necessary conditions for multistationarity in discrete dynamical systems