Notes for AKT-090917-1/0:28:15

Claim: [math]\displaystyle{ \mathcal{D}_m }[/math] corresponds to the set of chord diagrams. (Deduce that there are at most finitely many linearly independent invariants of type [math]\displaystyle{ m }[/math].)