Lyapunov-Free Analysis for Consensus of Nonlinear Discrete- Time Multi-Agent Systems