For any operator, $\ker T^k\subseteq\ker T^{k+1}$ because $T^kx=0$ implies $T^{k+1}x=0$. In dimension $n$ the chain stabilizes by $k=n$. Once consecutive kernels agree, all subsequent ones agree, using $T$ to pull the equality back one power at a time.
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.