§ Proof that Spec(R)Spec(R) is a sheaf [TODO ]

§ Reduction 1: Replace RR by R[f1]R[f^{-1}]

§ Separability

§ Check sheaf conditions

§ References