The Lyapunov function method is the focus of this paper in proving marginal stability, asymptotical or globally asymptotical stability of discrete dynamic systems. We show that the slightly relaxed versions of the well known sucient conditions are also necessary.