Before revision:  Using Lyapunov function theory and LaSalle Invariance Principle, the DFE is shown globally asymptotically stable under some parametric conditions .
After revision:  Using Lyapunov function theory and LaSalle Invariance Principle, the disease-free equilibrium is shown globally asymptotically stable under some parametric conditions .