Notes for AKT-091020/0:19:13

Fundamental theorem $\Rightarrow \ \exists$ UFTI $Z$

For all $n$, pick basis $W_{n, i}$ of $\mathcal{A}_n^*$, by fundamental theorem, there are type $n$ invariants $V_{n, i}$ where $V_{n, i}^{(n)}=W_{n,i}$

Let $D_{n,i}$ be the dual basis of $W_{n, i}$