For a graph , let { is an independent set
of vertices in } G\}. Jung proved that every -tough graph with and is hamiltonian. This result is generalized as follows: if is a -tough graph with such that and for all , implies , then is hamiltonian. It is also shown that the condition , in the latter result, can be dropped if is required to be -connected and to have at least vertices.