Note that if $\sum n_Z[Z]$ is in $Z_k(X)$, then the direct sums $\bigoplus\nolimits_{n_Z > 0} \mathcal{O}_Z^{\oplus n_Z}$ and $\bigoplus\nolimits_{n_Z < 0} \mathcal{O}_Z^{\oplus -n_Z}$ are coherent sheaves on $X$ since the family $\{Z \mid n_Z > 0\}$ is locally finite on $X$. The map $\mathcal{F} \to [\mathcal{F}]_k$ is additive on $\textit{Coh}_{\leq k}(X)$, see Lemma \ref{lemma-additivity-sheaf-cycle}. And $[\mathcal{F}]_k = 0$ if $\mathcal{F} \in \textit{Coh}_{\leq k - 1}(X)$. By part (1) of Homology, Lemma \ref{homology-lemma-serre-subcategory-K-groups} this implies that the second map is well defined too. It is clear that the composition of the first map with the second map is the identity. \medskip\noindent Conversely, say we start with a coherent sheaf $\mathcal{F}$ on $X$. Write $[\mathcal{F}]_k = \sum_{i \in I} n_i[Z_i]$ with $n_i > 0$ and $Z_i \subset X$, $i \in I$ pairwise distinct integral closed subschemes of $\delta$-dimension $k$. We have to show that $$ [\mathcal{F}] = [\bigoplus\nolimits_{i \in I} \mathcal{O}_{Z_i}^{\oplus n_i}] $$ in $K_0(\textit{Coh}_{\leq k}(X)/\textit{Coh}_{\leq k - 1}(X))$. Denote $\xi_i \in Z_i$ the generic point. If we set $$ \mathcal{F}' = \Ker(\mathcal{F} \to \bigoplus \xi_{i, *}\mathcal{F}_{\xi_i}) $$ then $\mathcal{F}'$ is the maximal coherent submodule of $\mathcal{F}$ whose support has dimension $\leq k - 1$. In particular $\mathcal{F}$ and $\mathcal{F}/\mathcal{F}'$ have the same class in $K_0(\textit{Coh}_{\leq k}(X)/\textit{Coh}_{\leq k - 1}(X))$. Thus after replacing $\mathcal{F}$ by $\mathcal{F}/\mathcal{F}'$ we may and do assume that the kernel $\mathcal{F}'$ displayed above is zero. \medskip\noindent For each $i \in I$ we choose a filtration $$ \mathcal{F}_{\xi_i} = \mathcal{F}_i^0 \supset \mathcal{F}_i^1 \supset \ldots \supset \mathcal{F}_i^{n_i} = 0 $$ such that the successive quotients are of dimension $1$ over the residue field at $\xi_i$. This is possible as the length of $\mathcal{F}_{\xi_i}$ over $\mathcal{O}_{X, \xi_i}$ is $n_i$. For $p > n_i$ set $\mathcal{F}_i^p = 0$. For $p \geq 0$ we denote $$ \mathcal{F}^p = \Ker\left(\mathcal{F} \longrightarrow \bigoplus \xi_{i, *}(\mathcal{F}_{\xi_i}/\mathcal{F}_i^p)\right) $$ Then $\mathcal{F}^p$ is coherent, $\mathcal{F}^0 = \mathcal{F}$, and $\mathcal{F}^p/\mathcal{F}^{p + 1}$ is isomorphic to a free $\mathcal{O}_{Z_i}$-module of rank $1$ (if $n_i > p$) or $0$ (if $n_i \leq p$) in an open neighbourhood of $\xi_i$. Moreover, $\mathcal{F}' = \bigcap \mathcal{F}^p = 0$. Since every quasi-compact open $U \subset X$ contains only a finite number of $\xi_i$ we conclude that $\mathcal{F}^p|_U$ is zero for $p \gg 0$. Hence $\bigoplus_{p \geq 0} \mathcal{F}^p$ is a coherent $\mathcal{O}_X$-module. Consider the short exact sequences $$ 0 \to \bigoplus\nolimits_{p > 0} \mathcal{F}^p \to \bigoplus\nolimits_{p \geq 0} \mathcal{F}^p \to \bigoplus\nolimits_{p > 0} \mathcal{F}^p/\mathcal{F}^{p + 1} \to 0 $$ and $$ 0 \to \bigoplus\nolimits_{p > 0} \mathcal{F}^p \to \bigoplus\nolimits_{p \geq 0} \mathcal{F}^p \to \mathcal{F} \to 0 $$ of coherent $\mathcal{O}_X$-modules. This already shows that $$ [\mathcal{F}] = [\bigoplus \mathcal{F}^p/\mathcal{F}^{p + 1}] $$ in $K_0(\textit{Coh}_{\leq k}(X)/\textit{Coh}_{\leq k - 1}(X))$. Next, for every $p \geq 0$ and $i \in I$ such that $n_i > p$ we choose a nonzero ideal sheaf $\mathcal{I}_{i, p} \subset \mathcal{O}_{Z_i}$ and a map $\mathcal{I}_{i, p} \to \mathcal{F}^p/\mathcal{F}^{p + 1}$ on $X$ which is an isomorphism over the open neighbourhood of $\xi_i$ mentioned above. This is possible by Cohomology of Schemes, Lemma \ref{coherent-lemma-extend-coherent}. Then we consider the short exact sequence $$ 0 \to \bigoplus\nolimits_{p \geq 0, i \in I, n_i > p} \mathcal{I}_{i, p} \to \bigoplus \mathcal{F}^p/\mathcal{F}^{p + 1} \to \mathcal{Q} \to 0 $$ and the short exact sequence $$ 0 \to \bigoplus\nolimits_{p \geq 0, i \in I, n_i > p} \mathcal{I}_{i, p} \to \bigoplus\nolimits_{p \geq 0, i \in I, n_i > p} \mathcal{O}_{Z_i} \to \mathcal{Q}' \to 0 $$ Observe that both $\mathcal{Q}$ and $\mathcal{Q}'$ are zero in a neighbourhood of the points $\xi_i$ and that they are supported on $\bigcup Z_i$. Hence $\mathcal{Q}$ and $\mathcal{Q}'$ are in $\textit{Coh}_{\leq k - 1}(X)$. Since $$ \bigoplus\nolimits_{i \in I} \mathcal{O}_{Z_i}^{\oplus n_i} \cong \bigoplus\nolimits_{p \geq 0, i \in I, n_i > p} \mathcal{O}_{Z_i} $$ this concludes the proof.