Notes for AKT-090922/0:08:20

Theorem (from last time) If we expand $J(K)(e^{x})=\sum {J_{n}(K)x^{n}}$ then $J_{n}$ is an invariant of type $n$.

In fact, this holds if we substitute $e^{x}$ by any power series that starts with $1+x$ (e.g. $1+x$, $1+sinx$).