(k+1)-kernels and the number of k-kings in k-quasi-transitive digraphs

Galeana-Sánchez et al. conjectured that every k-quasi-transitive digraph has a (k+1)-kernel. In this article, we shall prove that the conjecture is true.