Notes for AKT-090917-2/0:39:12

Lemma: [math]\displaystyle{ j_{(0, \cdot)} }[/math] takes the same value on links with [math]\displaystyle{ k }[/math] components which has constant term [math]\displaystyle{ 2^{k-1} }[/math].