0P25 Theorem 4.10 (Khovanov). The assignment to b∈Bn+1b\in B_{n+1} of Xb=(t2t3−1)(n+l(b))/2∑d,i,jdimHj(HHi(Fb))dt1dt2it3j∈𝐍[t1±1,t2±1/2,t3±1/2]X_{b}=(t_{2}t_{3}^{-1})^{(n+l(b))/2}\sum_{d,i,j}\dim H^{j}(\operatorname{HH}\nolimits_{i}(F_{b}))_{d}t_{1}^{d}t_{2}^{i}t_{3}^{j}\in{\mathbf{N}}[t_{1}^{\pm 1},t_{2}^{\pm 1/2},t_{3}^{\pm 1/2}] defines an invariant of oriented links.