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

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