補題
A を環とし、Mを 有限生成 A-加群とする。
Supp(M) = V(Ann(M)) となる。

証明は演習とする。