Which is your geometric interpretation (if any) of the following commutative algebra proposition?

Proposition.Let $M$ be a finitely generated $A$-module, $I\subseteq A$ an ideal, and $\phi\in \mathrm{End}_A (M)$ such that $\phi (M)\subseteq I\cdot M$. Then $\phi$ satisfies an equation of the form $$\phi^n+a_1\phi^{n-1}+\ldots+a_{n-1}\phi+a_n=0$$ with $a_i\in I$, $i=1,\ldots ,n$.

2more comments