Es sei R {\displaystyle {}R} ein kommutativer Ring und sei M {\displaystyle {}{\mathcal {M}}} ein quasikohärenter Modul auf Spek ( R ) {\displaystyle {}\operatorname {Spek} {\left(R\right)}} . Zeige M ≅ M ~ {\displaystyle {}{\mathcal {M}}\cong {\widetilde {M}}} für einen R {\displaystyle {}R} -Modul
.