0MY0 Proof. Lemma 3.1 implies that DTM(k,ℚ)w=0\operatorname{DTM}(k,\mathbb{Q})^{w=0} is tilting in DTM(k,ℚ).\operatorname{DTM}(k,\mathbb{Q}). Further, DM\operatorname{DM} admits an enhancement as stable ∞\infty-category. The statement follows from Corollary 2.16. ∎