Proof.
Starting with the definition of \({\mathbf K}^b=(-)^{\mathrm{fin}}\) in proposition 3.4.5, we obtain the equivalence \[{\mathbf K}^b(\mathrm{CProj}_{\mathbb{K}}) := \left( \mathcal P^{\Sigma}(\mathrm{CProj}_{\mathbb{K}})\otimes_{\mathrm{Sp}_{\geq 0}}\mathrm{Sp}\right)^{c} \simeq \left( \mathrm{Mod}_{\mathbb{K}}(\mathrm{Sp}_{\geq 0}) \otimes_{\mathrm{Sp}_{\geq 0}}\mathrm{Sp}\right)^{c}\simeq \left( \mathrm{Mod}_{\mathbb{K}}(\mathrm{Sp})\right)^{c} =: \mathrm{Perf}_{\mathbb{K}}\] where the last step follows from proposition 3.1.8.([0036]). ◻