1: \begin{proof} The proof will take place throughout the remainder of this chapter, but we outline it here.

2: 

3: First we show the existence of an algebra map $\psi \co \HC(W,S,L) \to [\DC]_\si$, sending $b_s \mapsto [B_s,+1]$. To show this, we must check the relations of the presentation given in

4: section \ref{subsec-KLpresentation}. This is really the crux of the proof, and follows from the explorations into decomposition of the following sections.

5: 

6: The remainder of the proof is an abstract and mostly tautological unwinding of the consequences of the categorification results in section \ref{subsec-catfnthms}. By the previous

7: corollary, there is a unipotent upper triangular change of basis matrix between certain monomials in $[B_s,+1]$, and $\{[B_w,+1]\}$. Since $[B_s,+1]$ generates $[\DC]_\si$ as a ring, so

8: the map $\psi$ is surjective. As another consequence, the change of basis matrix between $\psi(b_w)$ and $[B_w,+1]$ must also be unipotent upper triangular, and thus $\psi$ is injective.

9: 

10: In the final section we define the weighted character map, and claim that it expresses $[M,\phi]$ in terms of the standard basis of $\HC(W,S,L)$. Using this, one can show that

11: $[B_w,+1]$ satisfies the defining properties of the KL basis element $b_w$. However, we only sketch this result, as our favorite proof requires a much more in-depth discussion of

12: localization and light leaves in order to state rigorously. \end{proof}

13: