The main result of this section follows:

\(^{n,}\cong [1/p]\) .

We begin by outlining our proof. We use that for any ringed space \(X\) , there is a natural isomorphism \((X)\cong ^1(X,_X^*)\)  (see for example [1]} Exercise III.4.5). Let \(_X^+\subset _X\)  be the subsheaf of integral functions, defined by the rule
\(U\mapsto \lbrace f\in _X(U):|f(x)|\le 1\text{ for all }x\in U\rbrace .\) 
