Degree sequences of monocore graphs

A $k$-monocore graph is a graph which has its minimum degree and degeneracy both equal to $k$. Integer sequences that can be the degree sequence of some $k$-monocore graph are characterized as follows. A nonincreasing sequence of integers $d_1, . . ., d_n$ is the degree sequence of some $k$-monocore graph $G, 0 ≤ k ≤ n − 1$, if and only if $k ≤ di ≤ min {n − 1, k + n − i}$ and $⨊d_i = 2m$, where $m$ satisfies $$\lceil\frac{k·n}{2}\rceil ≤ m ≤ k ・ n − \binom{k+1}{2}$$