Let be the smallest even integer such that every -term graphic sequence with has a realization containing as a subgraph, where is the complete -partite graph. Recently, Lai (Discrete Mathematics and Theoretical Computer Science, conjectured that for ,
In this paper, we prove that the above equality holds for .