Fujita, S., A. Halperin, and C. Magnant. “Long Path Lemma Concerning Connectivity and Independence Number”. The Electronic Journal of Combinatorics, Vol. 18, no. 1, July 2011, p. P149, doi:10.37236/636.